Module LogtkType.Set

module Set: Sequence.Set.S  with type elt = t