Type Definition agnes::label::MarkerOfElemOf

type MarkerOfElemOf<T, Label> = <<T as LookupMarkedElemByLabel<Label>>::Elem as Marked>::Marker;

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