Open this in modules where you don't want to accidentally use polymorphic comparison. Then, use Pervasives.(<), for example, where needed.
type compare = [ `no_polymorphic_compare ] ‑> [ `no_polymorphic_compare ] ‑> [ `no_polymorphic_compare ]val compare : compareval (<) : compareval (<=) : compareval (>) : compareval (>=) : compareval (=) : compareval (<>) : compareval equal : compareval min : compareval max : compare