Profcmd.finish: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profcmd.bend as Profcmd
Lines 206-213 of cswap-bend-cli@0.1.0.0/profcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&start_line=206&end_line=213

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd

def finish(+root: String, +w: Plan2) -> Act.of(Cmd.Out):
  match w:
    case Answer{o}:
      Act.pure(Cmd.Out, o)
    case Wr{raw, o}:
      do ActM<Cmd.Out>:
        u : Unit <- Setcmd.write_settings(root, raw)
        Act.pure(Cmd.Out, o)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/act.bend&name=pure
  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/profcmd.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=Plan2
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&name=write_settings