from_by
container.Mutable_Priority_Queue.type.from_by
(O
type
:
property.orderable, initial_elements Sequence container.Mutable_Priority_Queue.type.T, by Unary O container.Mutable_Priority_Queue.type.T) =>
container.Mutable_Priority_Queue container.Mutable_Priority_Queue.type.T[Abstract feature]
¶Type Parameters
0.098dev (GIT hash 24d3437cd83e0dc6a6eb392aaf98ddef3061900e)
return order by mapping elements to an orderable type using `by`