~/jendhub

def drain_last

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

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

330def drain_last(~A: Data, root: A, +m: U32, empty: Bool, rl: Array<Maybe<&2, A>> & Maybe<&2, A>) -> Drain<A>:
331  (arr, ml) = rl
332  drain_mb(~A, arr, root, m, ml, empty)

Uses (8)

Used by (1)