Type Definition agnes::label::ValuedElemOf

type ValuedElemOf<T, Label> = <T as LookupValuedElemByLabel<Label>>::Elem;

Type alias for an element implementing Valued (as looked up by Label) from cons-list T.