Trait generic_array::Nat

pub trait Nat {
    fn reify() -> u64;
}

Nonnegative type-level integer, e.g., ((_1,_0),_1) = 0b101 = 5. Copied from shoggoth.rs

Required Methods

fn reify() -> u64

Implementors

• impl Nat for _0
• impl Nat for _1
• impl<N: Nat> Nat for (N, _0)
• impl<N: Nat> Nat for (N, _1)