module Gmp_types:sig
..end
GMP Values.
GMP Values.
val init : unit -> unit
Must be called before any use of GMP
val is_t : Cil_types.typ -> bool
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
val bitcnt_t : unit -> Cil_types.typ