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