Type Alias Context

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

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

Aliased Type

pub 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.