package dolmen
package dolmen
-
dolmen
-
dolmen_intf
-
-
dolmen_line
-
dolmen_smtlib2
-
dolmen_smtlib2_v6
-
dolmen_std
-
-
dolmen_tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A module for rational constant symbols that occur in terms.
val rat : string -> t
Rational literals
val minus : t
Rational unary minus/negation.
val add : t
Rational addition.
val sub : t
Rational subtraction.
val mul : t
Rational multiplication.
val div_e : t
Rational euclidian division quotient.
val div_t : t
Truncation of the rational division.
val div_f : t
Floor of the rational divison.
val rem_e : t
Euclidian division remainder.
val rem_t : t
Remainder of the rational division.
val rem_f : t
Floor of the rational division.
val lt : t
Rational "less than" comparison.
val le : t
Rational "less or equal" comparison.
val gt : t
Rational "greater than" comparison.
val ge : t
Rational "greater or equal" comparison.
val floor : t
Rational floor function.
val ceiling : t
Rational ceiling function.
val truncate : t
Rational truncation function.
val round : t
Rational rounding function.
val is_int : t
Integer testing.
val is_rat : t
Rationality testing.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>