def up_mb

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

import Base

103def up_mb(~A: Data, ~cmp: A -> A -> Cmp, arr: Array<Maybe<&2, A>>, i: U32, +x: A, p: U32, m: Maybe<&2, A>) -> Up<A>:
104  match m:
105    case None{}:
106      UStop{arr, i}
107    case Some{+pv}:
108      up_dec(~A, arr, i, pv, p, le(~A, ~cmp, pv, x))