~/jendhub

def swallow

cswap-bend-cli@0.1.0.0 · store/io.bend:28

import cswap-bend-cli@0.1.0.0/store/io.bend as Io
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

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

Uses (4)

Used by (0)

No other definition uses this definition.