module Poly: sig
.. end
Poly
is a convenient shorthand for Polymorphic_compare
in the common case that one
wants to use a polymorphic comparator directly in an expression, e.g. Poly.equal a
b
.
Poly
is a convenient shorthand for Polymorphic_compare
in the common case that one
wants to use a polymorphic comparator directly in an expression, e.g. Poly.equal a
b
.
include Polymorphic_compare
Poly
is a convenient shorthand for Polymorphic_compare
in the common case that one
wants to use a polymorphic comparator directly in an expression, e.g. Poly.equal a
b
.