package dolmen

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

Module Const.IntSource

A module for integer constant symbols that occur in terms.

Sourceval int : string -> t

Integer literals.

Sourceval minus : t

Integer unary minus/negation.

Sourceval add : t

Integer addition.

Sourceval sub : t

Integer subtraction.

Sourceval mul : t

Integer multiplication.

Sourceval pow : t

Integer exponentiation.

Sourceval div_e : t

Integer euclidian division quotient.

Sourceval div_t : t

Truncation of the integer division.

Sourceval div_f : t

Floor of the integer divison.

Sourceval rem_e : t

Integer euclidian division remainder.

Sourceval rem_t : t

Remainder of the integer division.

Sourceval rem_f : t

Floor of the integer division.

Sourceval abs : t

Integer absolute value.

Sourceval lt : t

Integer "less than" comparison.

Sourceval le : t

Integer "less or equal" comparison.

Sourceval gt : t

Integer "greater than" comparison.

Sourceval ge : t

Integer "greater or equal" comparison.

Sourceval floor : t

Integer floor function.

Sourceval ceiling : t

Integer ceiling function.

Sourceval truncate : t

Integer truncation function.

Sourceval round : t

Integer rounding function.

Sourceval is_int : t

Integer testing.

Sourceval is_rat : t

Rationality testing.

Sourceval 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