7.10 Void🔗ℹ

The void literal is written as #void. It is intended to represent the absence of a useful value, and it is more often used as the result of an operation that performs a mutating effect.

Returning zero values could also represent the absence of a useful result value, but #void is more conventional, because the possibility of multiple result values can be sometimes inconvenient.