(module No_polymorphic_compare)