AnyBigInt

RestrictedBigInt

AnyByte

RestrictedByte

AnyByteSeq

RestrictedByteSeq

AnyInt

RestrictedInt

AnyLong

RestrictedLong

AnyShort

RestrictedShort

apply

Restriction RestrictedType

assert

RestrictedType