Env

catlog::tt::val

Type Alias Env 

Source 
pub type Env = Bwd<BaseTmV>;
Expand description

A way of resolving BwdIdx found in BaseTmS_::Var to values.

Aliased Type§

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

Variants§

§

Nil

§

Snoc(Rc<(BaseTmV, Bwd<BaseTmV>)>)