Functor CfgLib.Labels

module Labels: 
functor (C : CfgTypes.Cfg) -> 
functor (H : Hashtbl.S) -> sig .. end

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