sig
  type comparable
  val ( >= ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
  val ( <= ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
  val ( = ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
  val ( > ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
  val ( < ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
  val ( <> ) :
    Comparable.Infix.comparable -> Comparable.Infix.comparable -> bool
end