Struct ParamMeta 

pub struct ParamMeta {
    pub name: NameId,
    pub is_ref: bool,
    pub slot: u16,
}

Name + mode of one declared parameter of a container (T1c, docs/t1c-spec.md §6). See ContainerDef::params.

Fields

name: NameId

The parameter’s interned name.

is_ref: bool

true if declared ref, false for a by-value param.

slot: u16

The call-frame temp slot this parameter occupies (.inkb v10).

Not simply the parameter’s position: a knot and its stitches share one frame and one temp map, so a knot’s parameters take slots 0 … and a stitch’s parameters continue after them (brink-ir’s alloc_temps). = opt(n) inside === outer(m) has opt’s single parameter at slot 1. The VM binds arguments at container entry (docs/compiler-spec.md §“Parameter binding”), so it needs the real slot, not an assumed one.

Trait Implementations

impl Clone for ParamMeta

fn clone(&self) -> ParamMeta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ParamMeta

impl Debug for ParamMeta

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

Formats the value using the given formatter.

impl Eq for ParamMeta

impl PartialEq for ParamMeta

fn eq(&self, other: &ParamMeta) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ParamMeta