Setcmd.fin: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd
Lines 24-30 of cswap-bend-cli@0.1.0.0/setcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&start_line=24&end_line=30

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

# The text of a failed Act as the command's output (exit 1).
def fin(r: Fs.Res(Cmd.Out)) -> Cmd.Out:
  match r:
    case Fail{e}:
      Cmd.fail(err.msg(e))
    case Done{o}:
      o

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/cmd.bend&name=fail
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&name=err.msg