Crate natural_numbers

Natural Numbers

natural_numbers provides natural numbers and operations on them, based on the successor operation.

Structs

U32Nat

Traits

Nat

Trait for types implementing natural numbers.