Cli.ran_step: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 7892-7895 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7892&end_line=7895

import Base

def ran_step(~A: Type, ~plan: @+t: Term -> A -> Ran, s: Step<A>) -> Ran:
  match s:
    case Quit{code, out, err}: Ran{code, out, err}
    case Go{a, t}: ran_act(plan(t, a))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Ran
  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=ran_act