Macro N 

N!() { /* proc-macro */ }

Creates a typed version of the given natural number.

Useful for creating natural numbers beyond the hard-coded type aliases.

Example

use type_proof::{
    peano::{N, N3},
    type_utils::assert_type_eq,
};

assert_type_eq::<N!(3), N3>();