def Draw.run

bend-trace-context@0.2.0.0 · trace_context.bend:1371

import Base

1371# Drive a generation from a tape (Drive.run).
1372def Draw.run(fuel: Nat, current: List<&1, Result<&1, &1, U32 & String, U32>> & Step) ->
1373  List<&1, Result<&1, &1, U32 & String, U32>> & Step:
1374  match current:
1375    case Tuple{tape, +step}:
1376      Drive.run(~Step, ~Draw, ~Step.waiting, ~Draw.feed, fuel, (tape, (step, Step.waiting(step))))