sig
val init_t : unit -> unit
val set_t : Cil_types.typeinfo -> unit
val t : unit -> Cil_types.typ
val t_ptr : unit -> Cil_types.typ
val is_now_referenced : unit -> unit
val is_t : Cil_types.typ -> bool
val init : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
val init_set :
loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
val clear : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
val affect :
loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
end