Exec.exec3: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/exec.bend as Exec
Lines 336-341 of cswap-bend-cli@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&start_line=336&end_line=341

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/gflags.bend as Gf
import cswap-bend-cli@0.1.0.0/fmt/out.bend as O

def exec3(+g: Gf.G, r: Result<&2, &2, String, O.Fmt>) -> IO(Cmd.Out):
  match r:
    case Fail{n}:
      IO.pure(Cmd.Out, fmt_bad(n))
    case Done{f}:
      run_fmt(ni_of(g), f, g_rest(g))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/exec.bend&name=fmt_bad
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=g_rest
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=ni_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=run_fmt
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/out.bend&name=Fmt
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/gflags.bend&name=G