~/jendhub

def finish

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

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

429def finish(~A: Data, st: Heap<A> & List<&2, E.Obs<A>>) -> Heap<A> & List<&2, E.Obs<A>>:
430  (h, acc) = st
431  (h, List.reverse(&2, E.Obs<A>, acc))

Uses (6)

Used by (1)