Module Syntax.LabelSetRef


module LabelSetRef: sig .. end 
  with type elt = label

include ExtSSetImp.S
val laset : t -> LabelSet.t