def down_dec

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

import Base

146def down_dec(~A: Data, arr: Array<Maybe<&2, A>>, i: U32, cv: A, ci: U32, ok: Bool) -> Down<A>:
147  match ok:
148    case True{}:
149      DStop{arr, i}
150    case False{}:
151      DMove{arr, i, cv, ci}