sig   type ti   type t   val create : int -> Cil2cfg.HEsig.t   val find : Cil2cfg.HEsig.t -> Cil2cfg.edge -> Cil2cfg.HEsig.ti   val find_all : Cil2cfg.HEsig.t -> Cil2cfg.edge -> Cil2cfg.HEsig.ti list   val add : Cil2cfg.HEsig.t -> Cil2cfg.edge -> Cil2cfg.HEsig.ti -> unit   val replace : Cil2cfg.HEsig.t -> Cil2cfg.edge -> Cil2cfg.HEsig.ti -> unit   val remove : Cil2cfg.HEsig.t -> Cil2cfg.edge -> unit   val clear : Cil2cfg.HEsig.t -> unit end