podtyp

Typ, który obsługuje wszystkie operacje jego nadtypu. Słowa kluczowego subtype można używać z nawiasami, aby wskazać, że typ jest ograniczony do konkretnego typu. Na przykład kilka metod tablicy Verse używa subtype, aby zdefiniować, że wszystkie elementy tablicy muszą mieć nadtyp comparable (porównywalny), aby metoda działała.

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

W tej sytuacji elementy tablicy muszą mieć nadtyp comparable, aby można było określić, czy każdy element tablicy jest równy argumentowi ElementToRemove.