supertype (スーパータイプ)

スーパータイプは、少なくとも 1 つのサブタイプを含む型です。 スーパータイプがサポートするすべての演算は、すべてのサブタイプでもサポートされている必要があります。 Verse では、any が他のあらゆる型の唯一のスーパータイプであり、その他すべての型は any のサブタイプです。 comparable 型は、Verse で比較可能なすべての型 (int や float など) のスーパータイプです。