Module Gmp_types

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