def down_probe

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

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

import Base

191# Where the value x, currently destined for slot i of a heap of `size`
192# elements, must go next.
193def down_probe(~A: Data, ~cmp: A -> A -> Cmp, +size: U32, +i: U32, x: A, arr: Array<Maybe<&2, A>>) -> Down<A>:
194  down_has(~A, ~cmp, size, i, x, arr, U32.inc(U32.shl(i)), U32.is_lt(U32.inc(U32.shl(i)), size))

Uses (9)

Used by (2)