def get

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

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

18def get(~A: Data, ~cmp: A -> A -> Cmp, h: K.Heap<A>) -> K.Heap<A> & Result<&2, &2, E.Error, A>:
19  K.pop(~A, ~cmp, h)