TraceContext.TraceStep.waiting: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 1088-1097 of bend-trace-context@0.2.0.0/trace_context.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&start_line=1088&end_line=1097

import Base

# The draw that a trace ID draw's step feeds its next word to, while it
# waits for one: the view of the step that Drive needs.
def TraceStep.waiting(step: TraceStep) -> Maybe<&2, TraceDraw>:
  match step:
    case NeedTraceWord{draw}:
      Some{draw}
    case DrawnTraceId{id}:
      None{}
    case TraceFailed{error}:
      None{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceDraw
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceStep