hax_types::cli_options::extension

Trait Extension

source 
pub trait Extension: 'static {
    type Options: ArgsExtensionPoint;
    type Command: SubcommandExtensionPoint;
    type BackendOptions: ArgsExtensionPoint;
    type FStarOptions: ArgsExtensionPoint;
}

Required Associated Types§

source

type Options: ArgsExtensionPoint

source

type Command: SubcommandExtensionPoint

source

type BackendOptions: ArgsExtensionPoint

source

type FStarOptions: ArgsExtensionPoint

Implementations on Foreign Types§

source§

impl Extension for ()

source§

type Options = EmptyArgsExtension

source§

type Command = EmptySubcommandExtension

source§

type BackendOptions = EmptyArgsExtension

source§

type FStarOptions = EmptyArgsExtension

Implementors§