In Operators§
See primary documentation in context for infix div
multi infix:<div>(Int, Int --> Int)
Integer division operator. Rounds down.
Note there is also /
for Numeric
division.
In Int§
See primary documentation in context for infix div
multi infix:<div>(Int, Int --> Int)
Does an integer division, rounded down.