Multiply another Nat with this one.
Add another Nat to this one.
Increment this Nat.
Increment this Nat.
Implements (F^(N+1))(Z) or in other words replaces nested Succs by nested Fs
The type of this Nat object.
Raise this Nat to the exponent given by another Nat.
Raise this Nat to the exponent given by another Nat.
Multiply this Nat by 10.
Multiply this Nat by 10.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 9.
Multiply this Nat by 10, then add 9.
Multiply another Nat with this one.
Multiply another Nat with this one.
Add another Nat to this one.
Add another Nat to this one.
Increment this Nat.
Increment this Nat.
Raise this Nat to the exponent given by another Nat.
Raise this Nat to the exponent given by another Nat.
Multiply this Nat by 10.
Multiply this Nat by 10.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 9.
Multiply this Nat by 10, then add 9.
This Nat, typed as Self.
The equivalent Int value for this Nat.
(succ: any2stringadd[Succ[N]]).+(other)
A successor of another
Nat