package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

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