include Polymorphic_compare_intf.S with type t := int