def put

bend-collections@1.0.0.0 · src/containers/priority_queue.bend:12

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

12def put(~A: Data, ~cmp: A -> A -> Cmp, h: K.Heap<A>, x: A) -> K.Heap<A>:
13  K.push(~A, ~cmp, h, x)