module Gmp_types: sig
.. end
val init : unit -> unit
Must be called before any use of GMP
module type S = sig
.. end
Signature of a GMP type
module Z: S
Representation of the unbounded integer type at runtime
module Q: S
Representation of the rational type at runtime