def run_acc

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

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

422def run_acc(~A: Data, ~cmp: A -> A -> Cmp, ops: List<&2, E.Op<A>>, st: Heap<A> & List<&2, E.Obs<A>>) -> Heap<A> & List<&2, E.Obs<A>>:
423  match ops:
424    case Nil{}:
425      st
426    case Con{op, rest}:
427      run_acc(~A, ~cmp, rest, step_acc(~A, ~cmp, op, st))