Gmp_types.Q
Representation of the rational type at runtime
val t : unit -> Frama_c_kernel.Cil_types.typ
the GMP type
val t_as_ptr : unit -> Frama_c_kernel.Cil_types.typ
type equivalent to t but seen as a pointer
t
val is_now_referenced : unit -> unit
Call this function when using this type for the first time.
val is_t : Frama_c_kernel.Cil_types.typ -> bool
true iff the given type is equivalent to the GMP type.