trunc truncation

BinaryOperator

trunc(a, b)

a trunc: b

a.trunc(b)

Truncate a to a multiple of b.