Module Types.Term.Set (.ml)

module Set: Set.S  with type elt = t

set of terms