peano

Macro peano 

Source
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);