[−][src]Trait agnes::label::TakeElemByLabel
Take an element from a cons-list using label L
.
Associated Types
Loading content...Required methods
Loading content...Implementors
impl<L, T> TakeElemByLabel<L> for T where
T: LookupNatByLabel<L>,
T: TakeElemByNat<<T as LookupNatByLabel<L>>::Nat>,
[src]
T: LookupNatByLabel<L>,
T: TakeElemByNat<<T as LookupNatByLabel<L>>::Nat>,