package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
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 div_zero : t

Rational division by zero.

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 rem_zero : t

Rational modulo zero.

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct