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 multiplication on integers.