Struct voile::syntax::abs::trans::TransState

pub struct TransState {
    pub decls: Vec<AbsDecl>,
    pub signature_indices: Vec<DBI>,
    pub context_mapping: BTreeMap<String, GI>,
    pub decl_count: GI,
    pub meta_count: MI,
}

Translation state.

Fields

decls: Vec<AbsDecl>

signature_indices: Vec<DBI>

The index of the $n_{th}$ valid declaration (Impls are not counted as valid declarations because they're just attachments to existing declarations).

context_mapping: BTreeMap<String, GI>

decl_count: GI

meta_count: MI

Trait Implementations

impl Default for TransState

fn default() -> TransState

Returns the "default value" for a type.

impl Clone for TransState

fn clone(&self) -> TransState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransState

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

Formats the value using the given formatter.