package dolmen

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

A module for real constant symbols that occur in terms.

val real : string -> t

Real literals.

val minus : t

Real unary minus/negation.

val add : t

Real addition.

val sub : t

Real subtraction.

val mul : t

Real multiplication.

val pow : t

Real exponentiation.

val div : t

Real division.

val div_e : t

Real euclidian division quotient.

val div_t : t

Truncation of the real division.

val div_f : t

Floor of the real divison.

val rem_e : t

Real euclidian division remainder.

val rem_t : t

Remainder of the real division.

val rem_f : t

Floor of the real division.

val lt : t

Real "less than" comparison.

val le : t

Real "less or equal" comparison.

val gt : t

Real "greater than" comparison.

val ge : t

Real "greater or equal" comparison.

val floor : t

Real floor function.

val floor_to_int : t

Real floor to integer function.

val ceiling : t

Real ceiling function.

val truncate : t

Real truncation function.

val round : t

Real 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