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.

Fields

optional: bool

opt_labels: Vec<(String, MonoType)>

ty: MonoType

Trait Implementations

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.