Type Definition agnes::label::ValueOfElemOf

type ValueOfElemOf<T, Label> = <<T as LookupValuedElemByLabel<Label>>::Elem as Valued>::Value;

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