Además de los tipos estándar en Verse, hay varios constructores que pueden usarse de la misma forma que un tipo, pero que técnicamente no son tipos. Un constructor de este tipo es void.
Cuando se usa como el resultado de una función, indica que la función puede devolver cualquier valor, pero que cuando se llame, no se producirá ningún resultado de interés especial.
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, void puede considerarse como una función definida como
void(:any) : true
Cuando se utiliza como tipo, puedes pensar que se aplica a lo que se asigna al identificador tipificado correspondiente.
El uso de una función en una posición de tipo solo está permitido para una función void. Las funciones que se utilizan de este modo reciben el nombre de funtores.