Module Term.Set2

module Set2: sig  end

Set of pair of terms.