`sig type t = int32 val zero : int32 val one : int32 val minus_one : int32 external neg : int32 -> int32 = "%int32_neg" external add : int32 -> int32 -> int32 = "%int32_add" external sub : int32 -> int32 -> int32 = "%int32_sub" external mul : int32 -> int32 -> int32 = "%int32_mul" external div : int32 -> int32 -> int32 = "%int32_div" external rem : int32 -> int32 -> int32 = "%int32_mod" val modulo : int32 -> int32 -> int32 val pow : int32 -> int32 -> int32 val min_num : int32 val max_num : int32 val succ : int32 -> int32 val pred : int32 -> int32 val abs : int32 -> int32 val max_int : int32 val min_int : int32 external logand : int32 -> int32 -> int32 = "%int32_and" external logor : int32 -> int32 -> int32 = "%int32_or" external logxor : int32 -> int32 -> int32 = "%int32_xor" val lognot : int32 -> int32 external shift_left : int32 -> int -> int32 = "%int32_lsl" external shift_right : int32 -> int -> int32 = "%int32_asr" external shift_right_logical : int32 -> int -> int32 = "%int32_lsr" val ( -- ) : BatInt32.t -> BatInt32.t -> BatInt32.t BatEnum.t val ( --- ) : BatInt32.t -> BatInt32.t -> BatInt32.t BatEnum.t external of_int : int -> int32 = "%int32_of_int" external to_int : int32 -> int = "%int32_to_int" external of_float : float -> int32 = "caml_int32_of_float" "caml_int32_of_float_unboxed" [@@unboxed] [@@noalloc] external to_float : int32 -> float = "caml_int32_to_float" "caml_int32_to_float_unboxed" [@@unboxed] [@@noalloc] external of_int64 : int64 -> int32 = "%int64_to_int32" external to_int64 : int32 -> int64 = "%int64_of_int32" external of_nativeint : nativeint -> int32 = "%int32_of_nativeint" external to_nativeint : int32 -> nativeint = "%int32_to_nativeint" external of_string : string -> int32 = "caml_int32_of_string" val to_string : int32 -> string external bits_of_float : float -> int32 = "caml_int32_bits_of_float" "caml_int32_bits_of_float_unboxed" [@@unboxed] [@@noalloc] external float_of_bits : int32 -> float = "caml_int32_float_of_bits" "caml_int32_float_of_bits_unboxed" [@@unboxed] [@@noalloc] val of_byte : char -> int32 val to_byte : int32 -> char val pack : string -> int -> int32 -> unit val pack_big : string -> int -> int32 -> unit val unpack : string -> int -> int32 val unpack_big : string -> int -> int32 val compare : BatInt32.t -> BatInt32.t -> int val equal : BatInt32.t -> BatInt32.t -> bool val ord : BatInt32.t -> BatInt32.t -> BatOrd.order external format : string -> int32 -> string = "caml_int32_format" val ( + ) : BatInt32.t -> BatInt32.t -> BatInt32.t val ( - ) : BatInt32.t -> BatInt32.t -> BatInt32.t val ( * ) : BatInt32.t -> BatInt32.t -> BatInt32.t val ( / ) : BatInt32.t -> BatInt32.t -> BatInt32.t val ( ** ) : BatInt32.t -> BatInt32.t -> BatInt32.t val operations : BatInt32.t BatNumber.numeric module Infix : sig type bat__infix_t = t val ( + ) : bat__infix_t -> bat__infix_t -> bat__infix_t val ( - ) : bat__infix_t -> bat__infix_t -> bat__infix_t val ( * ) : bat__infix_t -> bat__infix_t -> bat__infix_t val ( / ) : bat__infix_t -> bat__infix_t -> bat__infix_t val ( ** ) : bat__infix_t -> bat__infix_t -> bat__infix_t val ( -- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t val ( --- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t end module Compare : sig type bat__compare_t = t val ( <> ) : bat__compare_t -> bat__compare_t -> bool val ( >= ) : bat__compare_t -> bat__compare_t -> bool val ( <= ) : bat__compare_t -> bat__compare_t -> bool val ( > ) : bat__compare_t -> bat__compare_t -> bool val ( < ) : bat__compare_t -> bat__compare_t -> bool val ( = ) : bat__compare_t -> bat__compare_t -> bool end val print : 'a BatInnerIO.output -> BatInt32.t -> unit val print_hex : 'a BatInnerIO.output -> BatInt32.t -> unit end`