Module Term.TermSet

module TermSet: Set.S  with type elt = t
Set over terms