Struct CmdArgType 

pub struct CmdArgType {
    pub optional: bool,
    pub opt_labels: Vec<(String, MonoType)>,
    pub ty: MonoType,
}

One command argument type: ty for a mandatory argument, or ty? for an optional one (v0.0.6: MandatoryArgumentType / OptionalArgumentType, types.cppo.ml:326-328). optional/opt_labels are version-discriminated by construction: under V0_0 (positional model) optional marks a whole-slot ty? optional and opt_labels is always empty; under V0_1 (labeled model, upstream CommandArgType of typ LabelMap.t * typ, types.cppo.ml:214) optional is always false and opt_labels carries this slot’s ?(l:τ,…) bundle — a CLOSED map (no row variable: upstream discards one if written, parser.mly:866’s TODO (error)). Kept sorted by label at every producer (command_scheme’s harvest, lower_type_atom’s sig lowering) so unify/Display/sealing are order-insensitive — see unify_cmd_args’s zip-equal equal-domain test.

See MonoType for what the #[subast] list means. opt_labels is the field four hand-written walks forgot; the generated traversal cannot.

Fields

optional: bool

opt_labels: Vec<(String, MonoType)>

ty: MonoType

Implementations

impl CmdArgType

pub fn visit<__T>(&self, visitor: impl IntoVisitor<__T>) -> &Self

Visit self with any Visit, returning self to chain.

impl CmdArgType

pub fn visit_mut<__T>(&mut self, visitor: impl IntoVisitorMut<__T>) -> &mut Self

Visit self with any VisitMut, returning self to chain.

Trait Implementations

impl Ast for CmdArgType

impl Clone for CmdArgType

fn clone(&self) -> CmdArgType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CmdArgType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<__F: FnMut(&CmdArgType)> IntoHook<CmdArgType> for __F

fn into_hook(self) -> impl Hook

impl<__F: FnMut(&mut CmdArgType)> IntoHookMut<CmdArgType> for __F

fn into_hook_mut(self) -> impl HookMut

impl<__F: FnMut(&CmdArgType)> IntoVisitor<CmdArgType> for __F

fn into_visitor(self) -> impl Visit

impl<__F: FnMut(&mut CmdArgType)> IntoVisitorMut<CmdArgType> for __F

fn into_visitor_mut(self) -> impl VisitMut

impl Repeater<0> for CmdArgType

type Type = bool

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<1> for CmdArgType

type Type = Vec<(String, MonoType)>

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<2> for CmdArgType

type Type = MonoType

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.