Module Prelude.Int

Type-specialized operators and comparisons; satisifes ARITH.

Specialized and inlined versions of arithmetic operators.

include module type of struct include Stdlib.Int end
type t = int
val zero : int
val one : int
val minus_one : int
val neg : int -> int
val add : int -> int -> int
val sub : int -> int -> int
val mul : int -> int -> int
val div : int -> int -> int
val rem : int -> int -> int
val abs : int -> int
val max_int : int
val min_int : int
val logand : int -> int -> int
val logor : int -> int -> int
val logxor : int -> int -> int
val lognot : int -> int
val shift_left : int -> int -> int
val shift_right : int -> int -> int
val shift_right_logical : int -> int -> int
val equal : int -> int -> bool
val compare : int -> int -> int
val to_float : int -> float
val of_float : float -> int
val to_string : int -> string
val succ : t -> t
val pred : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val even : int -> bool

(even i) is true iff (i mod 2 = 0).

val odd : int -> bool

(odd i) is true iff (i mod 2 <> 0).

val divisible : int -> int -> bool

(divisible n) is that function of u that returns true iff u is evenly divisible by n, with no remainder.

val max : t -> t -> t

Specialized and inlined version of Stdlib.max.

val min : t -> t -> t

Specialized and inlined version of Stdlib.min.

val digits : ?base:t -> int -> t

(digits ?base n) is the number of digits required to express n in base (default base: 10). The number of digits in a negative number does not include the sign.

val missing : Stdlib.Int.t list -> Stdlib.Int.t list

(missing ints) return the integers that are missing in ints; tail-recursive.

I.e., return the list of integers between (minimum ints) and (maximum ints) that are not in ints.

val print : int -> unit

print is (string_of_int >> print_endline).

val random : unit -> int

(random ()) is a random int.