intDiv (Function)

Signature: intDiv(a: t0, b: t0) -> t0

Description: Truncating integer division returning a plain int. A zero divisor performs Arith.remainderByZero and INT64_MIN / -1 performs Arith.overflow; a literal divisor other than 0 and -1 is total.

Parameters

• a (t0): The dividend
• b (t0): The divisor

Returns: t0

Example

fn half(n) = intDiv(n, 2)  // half(7) == 3

half n = intDiv (n, 2)  // half(7) == 3