module No_polymorphic_compare: No_polymorphic_comparetypecompare =[ `no_polymorphic_compare ] ->
[ `no_polymorphic_compare ] -> [ `no_polymorphic_compare ]
val compare : compareval (<) : compareval (<=) : compareval (>) : compareval (>=) : compareval (=) : compareval (<>) : compareval equal : compareval min : compareval max : compareval _squelch_unused_module_warning_ : unit