On 2020-01-13 11:10, ToddAndMargo via perl6-users wrote:

https://docs.raku.org/type/UInt
    Subset UInt
    Unsigned integer (arbitrary-precision)
    The UInt is defined as a subset of Int:
    my subset UInt of Int where {not .defined or $_ >= 0};
    Consequently, it cannot be instantiated or subclassed;
    however, that shouldn't affect most normal uses

Trivia:

In https://docs.raku.org/type/UInt, a cardinal (uint)
is a subset

In https://docs.raku.org/language/nativetypes, a
cardinal (unit) gets their own "native type".

Life in the documentation lane!

:-)

Reply via email to