def run_u32

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

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

438def run_u32(ops: List<&2, E.Op<U32>>, h: Heap<U32>) -> Heap<U32> & List<&2, E.Obs<U32>>:
439  run(~U32, ~U32.cmp, ops, h)

Uses (8)

Used by (0)

No other definition uses this definition.