The cached Nat type for 0.
The cached Nat type for 1.
The cached Nat type for 10.
The cached Nat type for 2.
The cached Nat type for 3.
The cached Nat type for 4.
The cached Nat type for 5.
The cached Nat type for 6.
The cached Nat type for 7.
The cached Nat type for 8.
The cached Nat type for 9.
The cached Nat value for 0.
The cached Nat value for 1.
The cached Nat value for 10.
The cached Nat value for 2.
The cached Nat value for 3.
The cached Nat value for 4.
The cached Nat value for 5.
The cached Nat value for 6.
The cached Nat value for 7.
The cached Nat value for 8.
The cached Nat value for 9.
Get a Nat
for an Int
.
Get a Nat
for an Int
. If the Int is a literal, the Nat will have
the proper type, otherwise only the supertype Nat
.