~/jendhub

def sorted_of

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

import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeap
import Base

369def sorted_of(~A: Data, ~cmp: A -> A -> Cmp, +size: Nat, +n: U32, +depth: Nat, cap: U32, c: Array<Maybe<&2, A>> & Array<Maybe<&2, A>>) -> Heap<A> & List<&2, A>:
370  (arr, copy) = c
371  (BH{size, n, depth, cap, arr}, drain_go(~A, ~cmp, size, depth, drain_probe(~A, n, copy)))

Uses (11)

Used by (1)