Type Alias TermId 

pub type TermId = Term<Ident, LitVal, OptCons<Ident>>;

Aliased Type

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

Variants

Var(Ident)

Lit(LitVal)

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