subtipo

Um tipo que oferece suporte a todas as operações de seu supertipo. A palavra-chave subtype pode ser usada com parênteses para especificar que um tipo é restrito a um determinado tipo. Por exemplo, vários métodos de matriz em Verse usam subtype para definir que todos os elementos da matriz devem ter o supertipo comparável para que o método funcione.

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

Isso requer que os elementos da matriz tenham um supertipo de comparable para que seja possível determinar se algum dos elementos da matriz é igual ao argumento ElementToRemove.