ConcreteBidirectionalLabeled.V
type t = V.t
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool
type label = t
val label : 'a -> 'a
val create : 'a -> 'a