package logtk

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

Module Builtin.ArithSource

Sourceval floor : t
Sourceval ceiling : t
Sourceval truncate : t
Sourceval round : t
Sourceval prec : t
Sourceval succ : t
Sourceval sum : t
Sourceval difference : t
Sourceval uminus : t
Sourceval product : t
Sourceval quotient : t
Sourceval quotient_e : t
Sourceval quotient_t : t
Sourceval quotient_f : t
Sourceval remainder_e : t
Sourceval remainder_t : t
Sourceval remainder_f : t
Sourceval is_int : t
Sourceval is_rat : t
Sourceval to_int : t
Sourceval to_rat : t
Sourceval less : t
Sourceval lesseq : t
Sourceval greater : t
Sourceval greatereq : t
OCaml

Innovation. Community. Security.