def run

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

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

433def run(~A: Data, ~cmp: A -> A -> Cmp, ops: List<&2, E.Op<A>>, h: Heap<A>) -> Heap<A> & List<&2, E.Obs<A>>:
434  finish(~A, run_acc(~A, ~cmp, ops, (h, Nil{})))