Enum kailua_check::env::NameSlot

pub enum NameSlot {
    None,
    Unset(Slot),
    Set(Slot),
}

A slot type with the initialization status.

Variants

None

The slot has not been initialized nor its type specified.

Unset(Slot)

The slot has been its type specified, but hasn't been initialized.

Set(Slot)

The slot has been initialized and has a known type.

Methods

impl NameSlot

fn set(&self) -> bool

fn slot(&self) -> Option<&Slot>

Trait Implementations

impl Clone for NameSlot

fn clone(&self) -> NameSlot

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NameSlot

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

Formats the value using the given formatter.