~/jendhub

def down_rslot

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

import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeap
import Base

167def down_rslot(~A: Data, ~cmp: A -> A -> Cmp, i: U32, x: A, l: U32, +lv: A, r: U32, rr: Array<Maybe<&2, A>> & Maybe<&2, A>) -> Down<A>:
168  (arr, m) = rr
169  down_rmb(~A, ~cmp, arr, i, x, l, lv, r, m)

Uses (8)

Used by (1)