Void

The keyword void is used to name the domain-unit of a parameter.

Parameters do not have a domain unit. If is is still needed to name a domain unit, e.g. in a for_each_nedv function, the keyword void is used.