~/jendhub

def obs_nat

bend-collections@1.0.0.0 · src/containers/queue.bend:54

import bend-collections@1.0.0.0/src/containers/queue.bend as Queue
import Base
import bend-collections@1.0.0.0/src/containers/types/queue.bend as E

54def obs_nat(~T: Data, r: Queue<T> & Nat) -> Queue<T> & E.Obs<T>:
55  (q, n) = r
56  (q, E.ONat{n})

Uses (5)

Used by (1)