logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Term . Arith
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 pp_hook : print_hook

hook to print arithmetic expressions