You can search for identifiers within the package.
in-package search v0.2.0
exception NotAChurchTerm
raised whenever a to_int conversion fails
val of_int : int -> L.term
of_int n converts n to lambda term
of_int n
val to_int : L.term -> int
to_int t converts encoded number t to integer
to_int t
val is_church : L.term -> bool
is_church t returns true if t is an encoded number
is_church t
val convert_to_church : L.term -> L.term
convert_to_church t tries to convert a term t using different variables to a church term
convert_to_church t