[−][src]Trait agnes::label::LookupElemByNat
Look up an element from a cons-list by typenum
natural number.
Associated Types
type Elem
Type of looked-up element.
Required methods
Loading content...Implementors
impl<H, T> LookupElemByNat<UTerm> for Cons<H, T>
[src]
impl<H, T> LookupElemByNat<UInt<UTerm, B1>> for Cons<H, T> where
T: LookupElemByNat<UTerm>,
[src]
T: LookupElemByNat<UTerm>,
impl<H, T, N> LookupElemByNat<UInt<N, B0>> for Cons<H, T> where
N: Sub<B1>,
T: LookupElemByNat<UInt<Sub1<N>, B1>>,
[src]
N: Sub<B1>,
T: LookupElemByNat<UInt<Sub1<N>, B1>>,
impl<H, T, N, B> LookupElemByNat<UInt<UInt<N, B>, B1>> for Cons<H, T> where
T: LookupElemByNat<UInt<UInt<N, B>, B0>>,
[src]
T: LookupElemByNat<UInt<UInt<N, B>, B0>>,