def up_probe

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

import Base

121# Where the value x, currently destined for slot i, must go next.
122def up_probe(~A: Data, ~cmp: A -> A -> Cmp, +i: U32, +x: A, arr: Array<Maybe<&2, A>>) -> Up<A>:
123  up_root(~A, ~cmp, i, x, arr, U32.is_eq(i, 0))