from
container.Mutable_Priority_Queue.type.from
(initial_elements Sequence container.Mutable_Priority_Queue.type.T)
=>
container.Mutable_Priority_Queue container.Mutable_Priority_Queue.type.T[Abstract feature]
¶Precondition
pre T : property.orderable
0.098dev (GIT hash 24d3437cd83e0dc6a6eb392aaf98ddef3061900e)
which returns smallest element first using natural ordering of the elements