~/jendhub

def step_acc

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

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

418def step_acc(~A: Data, ~cmp: A -> A -> Cmp, op: E.Op<A>, st: Heap<A> & List<&2, E.Obs<A>>) -> Heap<A> & List<&2, E.Obs<A>>:
419  (h, acc) = st
420  record(~A, acc, step(~A, ~cmp, h, op))

Uses (9)

Used by (1)