You can search for identifiers within the package.
in-package search v0.2.0
logtk
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 : ?expand_quant:bool -> ?full:bool -> term -> term
val beta_red_head : term -> term