Module Nativeint_u.OSource

Sourceval (+) : t -> t -> t
Sourceval (-) : t -> t -> t
Sourceval (*) : t -> t -> t
Sourceval (~-) : t -> t
Sourceval (**) : t -> t -> t

Inlined from Comparisons.Infix

Sourceval (>=) : t -> t -> Base.bool
Sourceval (<=) : t -> t -> Base.bool
Sourceval (=) : t -> t -> Base.bool
Sourceval (>) : t -> t -> Base.bool
Sourceval (<) : t -> t -> Base.bool
Sourceval (<>) : t -> t -> Base.bool

There are two pairs of integer division and remainder functions, /% and %, and / and rem. They both satisfy the same equation relating the quotient and the remainder:

  x = (x /% y * y) + (x % y);
  x = (x / y * y) + rem x y

The functions return the same values if x and y are positive. They all raise if y = 0.

The functions differ if x < 0 or y < 0.

If y < 0, then % and /% raise, whereas / and rem do not.

x % y always returns a value between 0 and y - 1, even when x < 0. On the other hand, rem x y returns a negative value if and only if x < 0; that value satisfies abs (rem x y) <= abs y - 1.

Sourceval (/%) : t -> t -> t
Sourceval (%) : t -> t -> t
Sourceval (/) : t -> t -> t
Sourceval rem : t -> t -> t
Sourceval (//) : t -> t -> Base.float

Float division of integers.

Sourceval (land) : t -> t -> t

Same as bit_and.

Sourceval (lor) : t -> t -> t

Same as bit_or.

Sourceval (lxor) : t -> t -> t

Same as bit_xor.

Sourceval lnot : t -> t

Same as bit_not.

Sourceval (lsl) : t -> Base.int -> t

Same as shift_left.

Sourceval (asr) : t -> Base.int -> t

Same as shift_right.

Sourceval (lsr) : t -> Base.int -> t

Same as shift_right_logical.

Sourceval abs : t -> t

Returns the absolute value of the argument. May be negative if the input is min_value.

Sourceval neg : t -> t
Sourceval zero : t