def swallow

cswap-bend-cli@0.1.0.0 · daemon/auto.bend:270

import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto

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

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

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/daemon/auto:best_effort