Module Core.No_polymorphic_compare

Open this in modules where you don't want to accidentally use polymorphic comparison. Then, use Poly.(<), for example, where needed.

type compare = [ `no_polymorphic_compare ] -> [ `no_polymorphic_compare ] -> [ `no_polymorphic_compare ]
val compare : compare
val (<) : compare
val (<=) : compare
val (>) : compare
val (>=) : compare
val (=) : compare
val (<>) : compare
val equal : compare
val min : compare
val max : compare