Type Definition polar_core::kb::Bindings

type Bindings = HashMap<Symbol, Term>;

A map of bindings: variable name → value. The VM uses a stack internally, but can translate to and from this type.