subtype (sous-type)

Type qui prend en charge toutes les opérations de son super-type. Le mot-clé subtype peut être utilisé avec des parenthèses pour spécifier qu'un type est limité à un certain type. Par exemple, plusieurs méthodes de matrice Verse utilisent subtype pour spécifier que tous les éléments de la matrice doivent disposer du super-type comparable pour que la méthode fonctionne.

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

Pour cela, les éléments de la matrice doivent disposer d'un super-type comparable afin de pouvoir déterminer si l'un des éléments de la matrice est égal à l'argument ElementToRemove.