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§