package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val floor : t
val ceiling : t
val truncate : t
val round : t
val prec : t
val succ : t
val sum : t
val difference : t
val uminus : t
val product : t
val quotient : t
val quotient_e : t
val quotient_t : t
val quotient_f : t
val remainder_e : t
val remainder_t : t
val remainder_f : t
val less : t
val lesseq : t
val greater : t
val greatereq : t
val arith_hook : print_hook

hook to print arithmetic expressions

val pp_debug : Buffer.t -> t -> unit

use arith_hook with pp_debug

OCaml

Innovation. Community. Security.