sig type ti type t val create : int -> Cil2cfg.HEsig.t val find : Cil2cfg.HEsig.t -> Cil2cfg.CFG.E.t -> Cil2cfg.HEsig.ti val replace : Cil2cfg.HEsig.t -> Cil2cfg.CFG.E.t -> Cil2cfg.HEsig.ti -> unit end