Module D.Set

module Set: sig  end

Set of disequal terms together with justifications.