Module LogtkPrologTerm.Set

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