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