Functor Cil2cfg.HE

module HE: 
functor (I : sig
type t 
end-> HEsig  with type ti = I.t
Parameters:
I : sig type t end

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