sig
  type t
  val ( >= ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
  val ( <= ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
  val ( = ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
  val ( > ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
  val ( < ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
  val ( <> ) :
    Polymorphic_compare_intf.Infix.t ->
    Polymorphic_compare_intf.Infix.t -> bool
end