[−][src]Trait agnes::label::LookupNatByLabel
Lookup a type-level natural number backing label L
.
Associated Types
Loading content...Provided methods
Loading content...Implementors
impl<TargetL, L, V, T> LookupNatByLabel<TargetL> for LVCons<L, V, T> where
TargetL: LabelEq<L>,
LVCons<L, V, T>: LookupNatByLabelMatch<TargetL, <TargetL as LabelEq<L>>::Eq>,
[src]
TargetL: LabelEq<L>,
LVCons<L, V, T>: LookupNatByLabelMatch<TargetL, <TargetL as LabelEq<L>>::Eq>,