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 -> '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