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