package dolmen

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

Module Const.RatSource

A module for rational constant symbols that occur in terms.

Sourceval rat : string -> t

Rational literals

Sourceval minus : t

Rational unary minus/negation.

Sourceval add : t

Rational addition.

Sourceval sub : t

Rational subtraction.

Sourceval mul : t

Rational multiplication.

Sourceval div_e : t

Rational euclidian division quotient.

Sourceval div_t : t

Truncation of the rational division.

Sourceval div_f : t

Floor of the rational divison.

Sourceval rem_e : t

Euclidian division remainder.

Sourceval rem_t : t

Remainder of the rational division.

Sourceval rem_f : t

Floor of the rational division.

Sourceval lt : t

Rational "less than" comparison.

Sourceval le : t

Rational "less or equal" comparison.

Sourceval gt : t

Rational "greater than" comparison.

Sourceval ge : t

Rational "greater or equal" comparison.

Sourceval floor : t

Rational floor function.

Sourceval ceiling : t

Rational ceiling function.

Sourceval truncate : t

Rational truncation function.

Sourceval round : t

Rational 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