~/jendhub

def obs_limit

bend-collections@1.0.0.0 · src/containers/bitlist.bend:292

import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlist
import Base
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as E

292def obs_limit(r: Bitlist & Maybe<&2, Nat>) -> Bitlist & E.Obs:
293  (s, x) = r
294  (s, E.OLimit{x})

Uses (6)

Used by (1)