functor (C : CfgTypes.Cfg) (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