Struct kailua_check::env::NameDef

pub struct NameDef {
    pub span: Span,
    pub slot: NameSlot,
}

A name definition.

Fields

span: Span

The definition span.

slot: NameSlot

The associated slot type and the initialization status.

Trait Implementations

impl Clone for NameDef

fn clone(&self) -> NameDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NameDef

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.