macro_rules! peano {
($expr:expr) => { ... };
}Expand description
Converts an integer constant to a peano integer
This macro is sugar for <FromUsizeasPeanoInt>::NEW
ยงExample
use nlist::{NList, nlist, Peano, peano};
let val_0: Peano!(0) = peano!(0);
let val_1: Peano!(1) = peano!(1);
let val_2: Peano!(2) = peano!(2);
let val_3: Peano!(3) = peano!(3);