E_ACSL.Gmp_types
GMP Values.
val init : unit -> unit
Must be called before any use of GMP
val is_t : Frama_c_kernel.Cil_types.typ -> bool
true iff the given type is equivalent to one of the GMP type.
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 -> Frama_c_kernel.Cil_types.typ
the C Type representing the count of bits of a multi-precision number at runtime