Sottotipo

Tipo che supporta tutte le operazioni del proprio supertipo. Alla parola chiave subtype può seguire un tipo tra parentesi per specificare che un parametro è vincolato ad esso. Ad esempio, diversi metodi per array in Verse usano subtype per indicare che tutti gli elementi dell'array devono essere di supertipo comparable affinché il metodo funzioni.

(Input:[]t where t:subtype(comparable)).RemoveFirstElement<public>
(ElementToRemove:t)<computes><decides>:[]t
RemoveFirstElement

Ciò richiede che gli elementi dell'array siano sottotipo di comparable per poter determinare se ognuno di essi sia confrontabile con l'argomento ElementToRemove.