Lambda.Inner
Low level interface
type term
= InnerTerm.t
val whnf : term -> term
val snf : term -> term
val eta_expand : term -> term