def down_has

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

import Base

184def down_has(~A: Data, ~cmp: A -> A -> Cmp, +size: U32, i: U32, x: A, arr: Array<Maybe<&2, A>>, +l: U32, has_left: Bool) -> Down<A>:
185  match has_left:
186    case True{}:
187      down_lslot(~A, ~cmp, i, x, l, U32.is_lt(l, U32.sub(size, 1)), Array.get(Maybe<&2, A>, arr, l))
188    case False{}:
189      DStop{arr, i}