подтип (subtype)

Тип, который поддерживает все операции своего супертипа. Ключевое слово subtype может использоваться с круглыми скобками, чтобы указать, что тип ограничен конкретным типом. Например, несколько методов массива в Verse используют subtype, чтобы определить, что для работы метода все элементы массива должны иметь сопоставимый супертип.

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

В этом случае необходимо, чтобы элементы массива имели супертип comparable. Тогда метод сможет определить, равен ли какой-либо из элементов массива аргументу ElementToRemove.