def drain_probe

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

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

355def drain_probe(~A: Data, +n: U32, arr: Array<Maybe<&2, A>>) -> Drain<A>:
356  drain_take_go(~A, n, arr, U32.is_eq(n, 0))

Uses (6)

Used by (2)