%
(x: a) % (y: a) → a
Type constraints: Integral<a>
Integral<a>
Operator: precedence 7; associativity: left.
x
y