pub type FiberEnv = Bwd<FiberTmV>;Expand description
The fiber environment: resolves BwdIdx found in
super::stx::FiberTmS_::Var to fiber-term values. Separate from
Env, the base environment.
Aliased Type§
pub enum FiberEnv {
Nil,
Snoc(Rc<(FiberTmV, Bwd<FiberTmV>)>),
}