Module Gmp_types

module Gmp_types: sig .. end
GMP Values.

GMP Values.


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