Verse’teki standart türlere ek olarak, yine bir tür gibi kullanılabilen bazı ilave yapılar vardır ancak bunlar teknik olarak tür değildir. void de böyle bir yapıdır.
Bir fonksiyonun sonucu olarak kullanıldığında fonksiyonun herhangi bir değer döndürebileceğini gösterir ancak çağrıldığında belirli bir ilgili sonuç vermeyecektir.
Örneğin:
Foo() : void = {}
Bu, Foo başarılı olacak ama bir değer döndürmeyecek demektir.
Örneğin:
FirstInt(X:int, :void) : int = X
Teknik olarak void aşağıdaki şekilde tanımlanan bir fonksiyon gibi düşünülebilir:
void(:any) : true
Bir tür olarak kullanıldığında karşılık gelen türdeki tanımlayıcıya atanan her şeye uygulanacağını düşünebilirsin.
Bir fonksiyonu tür konumunda kullanmaya yalnızca bir void fonksiyonu için izin verilir. Bu şekilde kullanılan fonksiyonlar, funktör olarak adlandırılır.