You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Const_eval.Make
module Terms : Sig.TERMS
exception Empty
exception Not_a_constant
Returns the value if the term is indeed a singleton value;
Empty
if it is the empty value;
Not_a_constant
if it is not constant.
val integer : Operator.Function_symbol.integer Terms.t -> Z.t
val boolean : Operator.Function_symbol.boolean Terms.t -> bool
val binary : Operator.Function_symbol.binary Terms.t -> Z.t
val bitvector : Operator.Function_symbol.bitvector Terms.t -> Z.t
val enum : Operator.Function_symbol.enum Terms.t -> Z.t