Module Gmp41

module Gmp41: sig  end

exception Unimplemented of string

module RNG: sig  end

module Z2: sig  end

module Z: sig  end

module Q: sig  end

val get_gmp_runtime_version : unit -> string

val get_gmp_compile_version : unit -> int * int * int