Functor Cil2cfg.HE

module HE: 
functor (I : sig
type t 
end) -> sig .. end
Parameters:
I : sig type t end

type ti = I.t 
type t = (Cil2cfg.edge_key, ti) Hashtbl.t 
val create : int -> ('a, 'b) Hashtbl.t
val find : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a
val find_all : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a list
val add : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a -> unit
val replace : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a -> unit
val remove : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> unit
val clear : ('a, 'b) Hashtbl.t -> unit