Exec.exec2a: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/exec.bend as Exec
Lines 350-355 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=350&end_line=355

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/args.bend as Args
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 exec2a(ok: Bool, +g: Gf.G, force: Maybe<&2, O.Fmt>) -> IO(Cmd.Out):
  match ok:
    case True{}:
      exec2b(is_own(Args.verb_of(word0(g_rest(g)))), g, force)
    case False{}:
      IO.pure(Cmd.Out, usage_out(g_err(g)))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=verb_of
  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=exec2b
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=g_err
  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=is_own
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=usage_out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=word0
  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