You can search for identifiers within the package.
in-package search v0.2.0
exception NotABoolTerm
raised whenever trying to convert a non boolean term to boolean
val ltrue : L.term
true lambda term
val lfalse : L.term
false lambda term
val to_bool : L.term -> bool
to_bool t converts a lambda term t to boolean
to_bool t
val of_bool : bool -> L.term
of_bool b converts a boolean t to a lambda term
of_bool b
val is_bool : L.term -> bool
is_bool t returns true if t is a boolean lambda term
is_bool t