~/jendhub

def TraceDraw.run

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

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

1111# Drive a trace ID draw from a tape (Drive.run).
1112def TraceDraw.run(fuel: Nat, current: List<&1, Result<&1, &1, U32 & String, U32>> & TraceStep) ->
1113  List<&1, Result<&1, &1, U32 & String, U32>> & TraceStep:
1114  match current:
1115    case Tuple{tape, +step}:
1116      Drive.run(~TraceStep, ~TraceDraw, ~TraceStep.waiting, ~TraceDraw.next, fuel,
1117        (tape, (step, TraceStep.waiting(step))))

Uses (12)

Used by (0)

No other definition uses this definition.