Module Syntax.LabelSet

module LabelSet: ProglangUtils.ExtSSet.S