Skip to content

BoxedNonNegativeInt module-attribute 

BoxedNonNegativeInt: TypeAlias = int