module Labels:
Parameters: |
|
typet =
C.cfg * C.node H.t
typelabel =
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