You can search for identifiers within the package.
in-package search v0.2.0
Common signature for tptp arithmetics
type t
The type of terms
val minus : t -> t
Arithmetic unary minus/negation.
val add : t -> t -> t
Arithmetic addition.
val sub : t -> t -> t
Arithmetic substraction
val mul : t -> t -> t
Arithmetic multiplication
val div_e : t -> t -> t
Euclidian division quotient
val div_t : t -> t -> t
Truncation of the rational/real division.
val div_f : t -> t -> t
Floor of the ration/real division.
val rem_e : t -> t -> t
Euclidian division remainder
val rem_t : t -> t -> t
Remainder for the truncation of the rational/real division.
val rem_f : t -> t -> t
Remaidner for the floor of the ration/real division.
val lt : t -> t -> t
Arithmetic "less than" comparison.
val le : t -> t -> t
Arithmetic "less or equal" comparison.
val gt : t -> t -> t
Arithmetic "greater than" comparison.
val ge : t -> t -> t
Arithmetic "greater or equal" comparison.
val floor : t -> t
Floor function.
val ceiling : t -> t
Ceiling
val truncate : t -> t
Truncation.
val round : t -> t
Rounding to the nearest integer.
val is_int : t -> t
Integer testing
val is_rat : t -> t
Rationality testing.
val to_int : t -> t
Convesion to an integer.
val to_rat : t -> t
Conversion to a rational.
val to_real : t -> t
Conversion to a real.