def up_dec
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeapimport Base
96def up_dec(~A: Data, arr: Array<Maybe<&2, A>>, i: U32, pv: A, p: U32, ok: Bool) -> Up<A>:
97 match ok:
98 case True{}:
99 UStop{arr, i}
100 case False{}:
101 UMove{arr, i, pv, p}