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