Oprócz typów standardowych w języku Verse, istnieją dodatkowe konstrukty, które można stosować podobnie jak typy, choć technicznie nie są one typami. Jednym z takich konstruktów jest void.
Użyty jako wynik funkcji, wskazuje, że funkcja może zwrócić dowolną wartość, jednak po wywołaniu nie zwróci żadnego istotnego wyniku.
Na przykład:
Foo() : void = {}
Oznacza to, że Foo zakończy się powodzeniem succeed, ale nie zwróci wartości.
Na przykład:
FirstInt(X:int, :void) : int = X
Technicznie konstruktor void można potraktować jako funkcję zdefiniowaną w następujący sposób:
void(:any) : true
Jeśli konstruktor ten zastosuje się jako typ, można go potraktować jako typ stosowany do każdego elementu przypisanego do odpowiedniego identyfikatora z określonym typem.
Stosowanie funkcji w miejsce typu jest dozwolone wyłącznie dla funkcji void. Funkcje stosowane w ten sposób nazywane są funktorami.