def up_root

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

import Base

114def up_root(~A: Data, ~cmp: A -> A -> Cmp, +i: U32, x: A, arr: Array<Maybe<&2, A>>, root: Bool) -> Up<A>:
115  match root:
116    case True{}:
117      UStop{arr, i}
118    case False{}:
119      up_slot(~A, ~cmp, i, x, parent(i), Array.get(Maybe<&2, A>, arr, parent(i)))