Documentation for infix div
assembled from the following pages:
Language documentation: Operators §
From Operators
(Operators) infix div §
multi sub infix:<div>(Int, Int --> Int)
Integer division operator. Rounds down.
Class: Int §
From Int
(Int) infix div §
multi sub infix:<div>(Int, Int --> Int)
Does an integer division, rounded down.