[−][src]Type Definition agnes::label::MarkedElemOf
type MarkedElemOf<T, Label> = <T as LookupMarkedElemByLabel<Label>>::Elem;
Type alias for an element implementing Marked (as looked up by Label
)
from cons-list T
.
type MarkedElemOf<T, Label> = <T as LookupMarkedElemByLabel<Label>>::Elem;
Type alias for an element implementing Marked (as looked up by Label
)
from cons-list T
.