package dolmen

  1. Overview
  2. Docs
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.