Trait Len
pub trait LenA type operator that gives the length of an Array or the number of bits in a UInt.
Associated Types
type Output: Unsigned;The length as a type-level unsigned integer.
Required Methods
fn len(&self) -> Self::OutputThis function isn't used in this crate, but may be useful for others.
Implementors
impl Len for ()impl Len for ATermimpl Len for UTermimpl<T0> Len for (T0,)impl<T0, T1> Len for (T0, T1)impl<T0, T1, T2> Len for (T0, T1, T2)impl<T0, T1, T2, T3> Len for (T0, T1, T2, T3)impl<T0, T1, T2, T3, T4> Len for (T0, T1, T2, T3, T4)impl<T0, T1, T2, T3, T4, T5> Len for (T0, T1, T2, T3, T4, T5)impl<T0, T1, T2, T3, T4, T5, T6> Len for (T0, T1, T2, T3, T4, T5, T6)impl<T0, T1, T2, T3, T4, T5, T6, T7> Len for (T0, T1, T2, T3, T4, T5, T6, T7)impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8)impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Len for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)impl<U, B: Bit> Len for UInt<U, B> where U: Len + Unsigned, Length<U>: Add<B1>, Add1<Length<U>>: Unsigned,impl<V, A> Len for TArr<V, A> where A: Len, Length<A>: Add<B1>, Sum<Length<A>, B1>: Unsigned,