module LabelSetRef: sig .. end with type elt = label
sig
end
with type elt = label
include ExtSSetImp.S
val laset : t -> LabelSet.t
t -> LabelSet.t