Skip to content
Jip Claassens edited this page Jul 6, 2026 · 5 revisions

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

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

Clone this wiki locally