subtipo

Un tipo que admite todas las operaciones de su supertipo. La palabra clave subtype se puede utilizar con paréntesis para especificar que un tipo está restringido a un tipo determinado. Por ejemplo, varios métodos de matriz de Verse utilizan subtype para definir que todos los elementos de la matriz deben tener el supertipo comparable para que el método funcione.

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

Necesita que los elementos de la matriz tengan un supertipo comparable para poder determinar si alguno de los elementos de la matriz es igual al argumento ElementToRemove.