Además de los tipos estándar en Verse, hay algunas construcciones adicionales que pueden usarse como usarías un tipo pero que, técnicamente, no son tipos. void (nulo) es una de dichas construcciones.
Cuando se usa como resultado de una función, indica que la función puede devolver cualquier valor pero, cuando se invoca, no devolverá ningún resultado de interés particular.
Por ejemplo:
Foo() : void = {}
Esto significa que Foo tendrá éxito, pero no devolverá ningún valor.
Por ejemplo:
FirstInt(X:int, :void) : int = X
Técnicamente, se puede imaginar void como una función definida como
void(:any) : true
Cuando se usa como tipo, puedes pensarlo como aplicado a lo que sea que se asigne al identificador de tipo correspondiente.
Usar una función en una posición de tipo solo se permite en una función void. Las funciones que se usan en esta forma se denominan functores.