def ran_step

cli@0.2.0.0 · cli.bend:7892

import cli@0.2.0.0/cli.bend as Cli
import 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))

Uses (4)

Used by (1)