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"
  val unsigned_div : int32 -> int32 -> int32
  external rem : int32 -> int32 -> int32 = "%int32_mod"
  val unsigned_rem : int32 -> int32 -> int32
  val modulo : int32 -> int32 -> int32
  val pow : int32 -> int32 -> 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"
  val unsigned_to_int : int32 -> int option
  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 = "%nativeint_to_int32"
  external to_nativeint : int32 -> nativeint = "%nativeint_of_int32"
  external of_string : string -> int32 = "caml_int32_of_string"
  val of_string_opt : string -> int32 option
  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 : Stdlib.Bytes.t -> int -> int32 -> unit
  val pack_big : Stdlib.Bytes.t -> int -> int32 -> unit
  val unpack : Stdlib.Bytes.t -> int -> int32
  val unpack_big : Stdlib.Bytes.t -> int -> int32
  val compare : BatInt32.t -> BatInt32.t -> int
  val min : BatInt32.t -> BatInt32.t -> BatInt32.t
  val max : BatInt32.t -> BatInt32.t -> BatInt32.t
  val unsigned_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
  type bounded = t
  val min_num : bounded
  val max_num : bounded
  val print : 'a BatInnerIO.output -> BatInt32.t -> unit
  val print_hex : 'a BatInnerIO.output -> BatInt32.t -> unit
end