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 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