~/jendhub

def swallow

cswap-bend-cli@0.1.0.0 · daemon/shadow.bend:141

import cswap-bend-cli@0.1.0.0/daemon/shadow.bend as Shadow
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/act.bend as Act

141def swallow(r: Fs.Res(Unit)) -> Act.of(Unit):
142  Act.pure(Unit, Unit{})

Uses (4)

Used by (0)

No other definition uses this definition.