Core_kernel.No_polymorphic_compareOpen this in modules where you don't want to accidentally use polymorphic comparison. Then, use Poly.(<), for example, where needed.
val compare : compareval (<) : compareval (<=) : compareval (>) : compareval (>=) : compareval (=) : compareval (<>) : compareval equal : compareval min : compareval max : compare