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