Type Definition agnes::label::TypeOfElemOf

type TypeOfElemOf<T, Label> = <<T as LookupTypedElemByLabel<Label>>::Elem as Typed>::DType;

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