Type Alias TypeId 

pub type TypeId = Term<Ident, LitType, OptCons<Ident>>;

Aliased Type

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

Variants

Var(Ident)

Lit(LitType)

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