def to_sorted_list

bend-collections@1.0.0.0 · src/containers/binary_heap.bend:373

import Base

373def to_sorted_list(~A: Data, ~cmp: A -> A -> Cmp, h: Heap<A>) -> Heap<A> & List<&2, A>:
374  BH{+size, +n, +depth, +cap, arr} = h
375  sorted_of(~A, ~cmp, size, n, depth, cap, Array.clone(Maybe<&2, A>, arr))