Act.finally: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/act.bend as Act
Lines 31-33 of cswap-bend-cli@0.1.0.0/act.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/act.bend&start_line=31&end_line=33

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

# Run `act` whatever `m` answered with, after it: for cleanup.
def finally(-A: Type, act: of(A), cleanup: of(Unit)) -> of(A):
  IO.bind(Fs.Res(A), Fs.Res(A), act, r => IO.bind(Fs.Res(Unit), Fs.Res(A), cleanup, c => IO.pure(Fs.Res(A), r)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res