def down_rmb

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

import Base

160def down_rmb(~A: Data, ~cmp: A -> A -> Cmp, arr: Array<Maybe<&2, A>>, i: U32, +x: A, l: U32, +lv: A, r: U32, m: Maybe<&2, A>) -> Down<A>:
161  match m:
162    case None{}:
163      down_dec(~A, arr, i, lv, l, le(~A, ~cmp, x, lv))
164    case Some{+rv}:
165      down_two(~A, ~cmp, arr, i, x, l, lv, r, rv, le(~A, ~cmp, lv, rv))