Module prop::nat [−][src]
Natural numbers with types.
Structs
| NaN | Not-a-number. |
| S | Successor. |
| Z | Zero. |
Constants
| _0 |
|
| _1 |
|
| _2 |
|
| _3 |
|
Traits
| Add | Addition. |
| EqNat | Whether two natural numbers are equal. |
| Lt | Less than comparison. |
| Nat | Implemented for natural numbers. |
Functions
| eq | Check that one natural number is equal to the other. |
| lt | Check that one natural number is less than the other. |
Type Definitions
| One | The one type. |
| Three | The three type. |
| Two | The two type. |
| Zero | The zero type. |