Functor Util.DataV

module DataV: 
functor (L : sig

type t 

end) -> 
functor (V : Sig.COMPARABLE) -> sig .. end

type data = L.t 

type label = V.t 

type t = data Pervasives.ref * V.t 

val compare : t -> t -> int

val hash : t -> int

val equal : t -> t -> bool

val create : data -> V.t -> t

val label : t -> V.t

val data : t -> data

val set_data : t -> data -> unit