Frama-C API - 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
  • returns

    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
  • returns

    the C Type representing the count of bits of a multi-precision number at runtime