CswapBendCli.finish: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/main.bend as CswapBendCli
Lines 20-23 of cswap-bend-cli@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/main.bend&start_line=20&end_line=23

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

def finish(o: Cmd.Out) -> IO(Unit):
  match o:
    case Cmd.Out{code, out, err}:
      IO.bind(Unit, Unit, IO.write(out), u => IO.bind(Unit, Unit, write_err(err), v => IO.exit(code)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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.exit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.write
  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/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/main.bend&name=write_err