TraceContext.Step.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 1345-1354 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=1345&end_line=1354

import Base

# The draw that a generation's step feeds its next word to, while it waits
# for one.
def Step.waiting(step: Step) -> Maybe<&2, Draw>:
  match step:
    case NeedWord{draw}:
      Some{draw}
    case Created{context}:
      None{}
    case Failed{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=Draw
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Step