Module TermAttr.AttrSet

module AttrSet: Set.S  with type elt = t
Set over attributes