functor (I : sig type t end->
  sig
    type ti = I.t
    type t = (Cil2cfg.edge_key, Cil2cfg.HE.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 -> '-> unit
    val replace :
      (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> '-> unit
    val remove : (Cil2cfg.edge_key, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> unit
    val clear : ('a, 'b) Hashtbl.t -> unit
  end