def obs_pair

bend-collections@1.0.0.0 · src/containers/bitset.bend:494

import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitset
import Base
import bend-collections@1.0.0.0/src/containers/types/bitset.bend as E

494# The trace runner owns the operand it built from the operation, so it
495# releases it once the combination has been applied.
496def obs_pair(r: Bitset & Bitset & Result<&2, &2, E.Error, Unit>) -> Bitset & E.Obs:
497  (s, t, x) = r
498  obs_pair_done(s, dispose(t), x)

Uses (9)

Used by (0)

No other definition uses this definition.