Name _/_
Definition (a:val(int)) `/` (b:val(int)) : expr(int)
Example 5/3
Defined in ops.l
Implementation icode
Infix _/_ : infix(170,left).
Description Conventional integer division.