[−][src]Trait agnes::label::LookupElemByLabel
Look up an element from a cons-list by label L
.
Associated Types
type Elem
Type of lookup-up element.
Required methods
Loading content...Implementors
impl<L, T> LookupElemByLabel<L> for T where
T: LookupNatByLabel<L>,
T: LookupElemByNat<<T as LookupNatByLabel<L>>::Nat>,
[src]
T: LookupNatByLabel<L>,
T: LookupElemByNat<<T as LookupNatByLabel<L>>::Nat>,