functor (C : CfgTypes.Cfg) ->
  functor (H : Hashtbl.S) ->
    sig
      type t = C.cfg * C.node H.t
      type label = H.key
      val create : ?size:int -> 'a -> 'a * 'b H.t
      val set_label : 'a * 'b H.t -> H.key -> 'b -> unit
      val label : C.cfg * C.node H.t -> H.key -> C.node
      val iter : (H.key -> 'a -> unit) -> 'b * 'a H.t -> unit
    end