TraceContext.Generation.needs.of: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 1416-1426 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=1416&end_line=1426

import Base

# Whether a step needs another word within `fuel` more words.
def Generation.needs.of(fuel: Nat, step: Step) -> Bool:
  match fuel step:
    case 0n _:
      False{}
    case 1n+p NeedWord{draw}:
      True{}
    case 1n+p Created{context}:
      False{}
    case 1n+p Failed{error}:
      False{}

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