let of_diseq d = Diseq(d)