Module Gmp_types.Z

module Z: S 

Representation of the unbounded integer type at runtime


val t : unit -> Cil_types.typ
val t_as_ptr : unit -> Cil_types.typ

type equivalent to t but seen as a pointer

val is_now_referenced : unit -> unit

Call this function when using this type for the first time.

val is_t : Cil_types.typ -> bool