def down_two

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

import Base

153def down_two(~A: Data, ~cmp: A -> A -> Cmp, arr: Array<Maybe<&2, A>>, i: U32, +x: A, l: U32, +lv: A, r: U32, +rv: A, left: Bool) -> Down<A>:
154  match left:
155    case True{}:
156      down_dec(~A, arr, i, lv, l, le(~A, ~cmp, x, lv))
157    case False{}:
158      down_dec(~A, arr, i, rv, r, le(~A, ~cmp, x, rv))