Trait generic_array::Nat
[−]
[src]
pub trait Nat { fn reify() -> u64; }
Nonnegative type-level integer, e.g., ((_1,_0),_1) = 0b101 = 5
.
Copied from shoggoth.rs