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