def down_lmb

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

import Base

171def down_lmb(~A: Data, ~cmp: A -> A -> Cmp, arr: Array<Maybe<&2, A>>, i: U32, +x: A, +l: U32, two: Bool, m: Maybe<&2, A>) -> Down<A>:
172  match two m:
173    case _ None{}:
174      DStop{arr, i}
175    case True{} Some{+lv}:
176      down_rslot(~A, ~cmp, i, x, l, lv, U32.inc(l), Array.get(Maybe<&2, A>, arr, U32.inc(l)))
177    case False{} Some{+lv}:
178      down_dec(~A, arr, i, lv, l, le(~A, ~cmp, x, lv))