Type Alias Context

pub type Context<Domain> = InterpreterContext<Domain>;

TODO(database-issues#7533): Add documentation.

Aliased Type

struct Context<Domain> {
    pub bindings: BTreeMap<LocalId, ContextEntry<Domain>>,
    pub is_rec: bool,
}

Fields

bindings: BTreeMap<LocalId, ContextEntry<Domain>>

The bindings currently in the context.

is_rec: bool

Is the context recursive (i.e., is one of our ancestors a LetRec binding) or not.

Trait Implementations

impl<Domain: Debug> Debug for InterpreterContext<Domain>

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

Formats the value using the given formatter.

impl<Domain> Default for InterpreterContext<Domain>

fn default() -> Self

Returns the “default value” for a type.