module Gmp:sig
..end
type
rounding_mode =
| |
GMP_RNDN |
| |
GMP_RNDZ |
| |
GMP_RNDU |
| |
GMP_RNDD |
module RNG:sig
..end
module Z2:sig
..end
module Z:sig
..end
module Q:sig
..end
module F:sig
..end
module FR:sig
..end
exception Unimplemented of string
val get_gmp_runtime_version : unit -> string
val get_gmp_compile_version : unit -> int * int * int