Expand description
Natural numbers with types.
Structs
Constants
Traits
Addition.
Whether two natural numbers are equal.
Less than comparison.
Implemented for natural numbers.
Functions
Check that one natural number is equal to the other.
Check that one natural number is less than the other.