alt tür

Üst türünün tüm işlemlerini destekleyen bir tür. Alt tür anahtar sözcüğü, bir türün belirli bir türle kısıtlanmış olduğunu belirtmek üzere parantez içinde kullanılabilir. Örneğin, birçok Verse dizisi metodu, çalışmak için dizinin tüm öğelerinin comparable üst türüne sahip olduğunu tanımlamak üzere subtype kullanır.

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

Bunun için dizi öğelerinin comparable üst türüne sahip olması gerekir. Böylece dizideki öğelerin herhangi birinin ElementToRemove bağımsız değişkenine eşit olup olmadığını belirleyebilir.