sig
  type bat__compare_t
  val ( <> ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
  val ( >= ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
  val ( <= ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
  val ( > ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
  val ( < ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
  val ( = ) :
    BatNumber.Compare.bat__compare_t ->
    BatNumber.Compare.bat__compare_t -> bool
end