def qsize

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

import bend-collections@1.0.0.0/src/containers/priority_queue.bend as PriorityQueue

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

9def qsize(~A: Data, h: K.Heap<A>) -> K.Heap<A> & Nat:
10  K.length(~A, h)

Uses (4)

Used by (0)

No other definition uses this definition.