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