Enum DefinitionTag 

#[repr(u8)]
pub enum DefinitionTag {
    Address = 1,
    GlobalVar = 2,
    ListDef = 3,
    ListItem = 4,
    ExternalFn = 5,
    StructDef = 6,
    LocalVar = 7,
}

Tag discriminant stored in the high byte of a DefinitionId.

Variants

Address = 1

GlobalVar = 2

ListDef = 3

ListItem = 4

ExternalFn = 5

StructDef = 6

A STRUCT shape declaration (TM-4b, docs/typed-mode-spec.md §6). Compiler-side bookkeeping only — the analyzer’s SymbolIndex needs a stable DefinitionId for a struct name like every other declared symbol (duplicate detection, goto-def, resolution), but this tag is never serialized to .inkb: the runtime-facing shape identity is the separate ShapeId/StructShapes space brink-format::value already reserves, which TM-4c’s codegen populates once struct constructs lower to bytecode. Until then a StructDef-tagged id never reaches the linker.

LocalVar = 7

Params and temps — scoped to a container, not serialized in bytecode.

Implementations

impl DefinitionTag

pub fn from_u8(byte: u8) -> Option<Self>

Try to convert a raw u8 into a known tag.

Trait Implementations

impl Clone for DefinitionTag

fn clone(&self) -> DefinitionTag

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DefinitionTag

impl Debug for DefinitionTag

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

Formats the value using the given formatter.

impl Eq for DefinitionTag

impl Hash for DefinitionTag

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for DefinitionTag

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DefinitionTag