You can search for identifiers within the package.
in-package search v0.2.0
dolmen.std
Const.Int
A module for integer constant symbols that occur in terms.
val int : string -> t
Integer literals.
val minus : t
Integer unary minus/negation.
val add : t
Integer addition.
val sub : t
Integer subtraction.
val mul : t
Integer multiplication.
val pow : t
Integer exponentiation.
val div_e : t
Integer euclidian division quotient.
val div_t : t
Truncation of the integer division.
val div_f : t
Floor of the integer divison.
val rem_e : t
Integer euclidian division remainder.
val rem_t : t
Remainder of the integer division.
val rem_f : t
Floor of the integer division.
val abs : t
Integer absolute value.
val lt : t
Integer "less than" comparison.
val le : t
Integer "less or equal" comparison.
val gt : t
Integer "greater than" comparison.
val ge : t
Integer "greater or equal" comparison.
val floor : t
Integer floor function.
val ceiling : t
Integer ceiling function.
val truncate : t
Integer truncation function.
val round : t
Integer rounding function.
val is_int : t
Integer testing.
val is_rat : t
Rationality testing.
val divisible : t
Arithmetic divisibility testing.