subtype (サブタイプ)

そのスーパータイプの全演算をサポートする型です。 subtype キーワードは括弧とともに使用して、特定の型に制約される型を指定できます。 たとえば、複数の Verse 配列メソッドでは subtype を使用して、動作するメソッドに対して比較可能なスーパータイプとなるように、配列の全要素を定義できます。

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

そのため、配列内の各要素は、すべて ElementToRemove 引数と等しいかどうかを判定できるように、comparable のスーパータイプである必要があります。