def drain_take

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

import Base

341def drain_take(~A: Data, +m: U32, r: Array<Maybe<&2, A>> & Maybe<&2, A>) -> Drain<A>:
342  (arr, mr) = r
343  drain_root(~A, arr, m, mr)