kif#set  ADT where duplicate elements are not allowed
  supertype:  pm#structured_ADT__structured_abstract_data_type (pm)
  subtype:  pm#or_set  set of OR-ed elements
  subtype:  pm#xor_set__xorset  set of XOR-ed elements

No statement uses or specializes kif#set; click here to add one.