def ran_step
import cli@0.2.0.0/cli.bend as Cliimport Base
7892def ran_step(~A: Type, ~plan: @+t: Term -> A -> Ran, s: Step<A>) -> Ran:
7893 match s:
7894 case Quit{code, out, err}: Ran{code, out, err}
7895 case Go{a, t}: ran_act(plan(t, a))