Type Alias Env

pub type Env = Bwd<TmV>;

Expand description

A way of resolving BwdIdx found in TmS_::Var to values

Aliased Type§

pub enum Env {
    Nil,
    Snoc(Rc<(TmV, Bwd<TmV>)>),
}