~/jendhub

def qsize

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

import bend-collections@1.0.0.0/src/containers/simple_queue.bend as SimpleQueue
import Base
import bend-collections@1.0.0.0/src/containers/queue.bend as K

9def qsize(~T: Data, q: K.Queue<T>) -> K.Queue<T> & Nat:
10  K.length(~T, q)

Uses (4)

Used by (0)

No other definition uses this definition.