module Z: sig end
Multi-precision integers.
type t
Abstract type of integers.
val zero : t
val one : t
val two : t
val add : t -> t -> t
val sub : t -> t -> t
val succ : t -> t
val mult : t -> t -> t
val divexact : t -> t -> t
val expt : t -> int -> t
val equal : t -> t -> bool
val compare : t -> t -> int
val lt : t -> t -> bool
val le : t -> t -> bool
val gt : t -> t -> bool
val ge : t -> t -> bool
val of_int : int -> t
val to_int : t -> int
val gcd : t -> t -> t
val lcm : t -> t -> t
val pow : int -> int -> t
val to_string : t -> string
val pp : Format.formatter -> t -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
x |
: |
t
|
|