Type Alias TermCtx 

pub type TermCtx = Term<IdentCtx, LitVal, OptCons<Ident>>;

Aliased Type

pub enum TermCtx {
    Var(IdentCtx),
    Lit(LitVal),
    Cons(OptCons<Ident>, Vec<Term<IdentCtx, LitVal, OptCons<Ident>>>),
}

Variants

Var(IdentCtx)

Lit(LitVal)

Cons(OptCons<Ident>, Vec<Term<IdentCtx, LitVal, OptCons<Ident>>>)