package dolmen

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

Module Const.RealSource

A module for real constant symbols that occur in terms.

Sourceval real : string -> t

Real literals.

Sourceval minus : t

Real unary minus/negation.

Sourceval add : t

Real addition.

Sourceval sub : t

Real subtraction.

Sourceval mul : t

Real multiplication.

Sourceval pow : t

Real exponentiation.

Sourceval div : t

Real division.

Sourceval div_e : t

Real euclidian division quotient.

Sourceval div_t : t

Truncation of the real division.

Sourceval div_f : t

Floor of the real divison.

Sourceval rem_e : t

Real euclidian division remainder.

Sourceval rem_t : t

Remainder of the real division.

Sourceval rem_f : t

Floor of the real division.

Sourceval lt : t

Real "less than" comparison.

Sourceval le : t

Real "less or equal" comparison.

Sourceval gt : t

Real "greater than" comparison.

Sourceval ge : t

Real "greater or equal" comparison.

Sourceval floor : t

Real floor function.

Sourceval floor_to_int : t

Real floor to integer function.

Sourceval ceiling : t

Real ceiling function.

Sourceval truncate : t

Real truncation function.

Sourceval round : t

Real rounding function.

Sourceval is_int : t

Integer testing.

Sourceval 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