def drain_probe
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeapimport 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))
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeapimport 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))