zarith

Implements arithmetic and logical operations over arbitrary-precision integers
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library zarith
Module Z . Compare
val (=) : t -> t -> bool

Same as equal.

val (<) : t -> t -> bool

Same as lt.

val (>) : t -> t -> bool

Same as gt.

val (<=) : t -> t -> bool

Same as leq.

val (>=) : t -> t -> bool

Same as geq.

val (<>) : t -> t -> bool

a <> b is equivalent to not (equal a b).