Lambda.Inner
Low level interface
type term
= InnerTerm.t
val whnf : term -> term
val snf : term -> term
val eta_expand : term -> term
val eta_reduce : ?full:bool -> term -> term
val beta_red_head : term -> term