sig
  val init_t : unit -> unit
  val set_t : Cil_types.typeinfo -> unit
  val t : 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