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 * 'H.t
      val set_label : 'a * 'H.t -> H.key -> '-> unit
      val label : C.cfg * C.node H.t -> H.key -> C.node
      val iter : (H.key -> '-> unit) -> 'b * 'H.t -> unit
    end