Run.stepped: def of cli@0.2.0.0
Import: import cli@0.2.0.0/run.bend as Run
Lines 110-117 of cli@0.2.0.0/run.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/run.bend&start_line=110&end_line=117

import Base
import cli@0.2.0.0/cli.bend as Cli

def stepped(~A: Type, ~act: @+t: Cli.Term -> A -> IO(U32),
    s: Cli.Step<A>) -> IO(Unit):
  match s:
    case Cli.Quit{code, out, err}: finish(code, out, err)
    case Cli.Go{a, t}:
      do IO<Unit>:
        n : U32 <- act(t, a)
        ended(Cli.act_exit(n))

Uses (9):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Term
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=act_exit
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/run.bend&name=ended
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/run.bend&name=finish