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