module Z:S
Representation of the unbounded integer type at runtime
val t : unit -> Cil_types.typval t_as_ptr : unit -> Cil_types.typtype equivalent to t but seen as a pointer
val is_now_referenced : unit -> unitCall this function when using this type for the first time.
val is_t : Cil_types.typ -> bool