Module No_polymorphic_compare

module No_polymorphic_compare: sig .. end

include Core_kernel.No_polymorphic_compare