class Mul[a: Type]
A trait for multiplication.
def mul(x: a, y: a): a with Mul[a]
Returns x multiplied by y.
x
y