def Generation.needs

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

import Base

1428# Whether the generation needs another word: it has not ended, and its
1429# budget allows one more.
1430def Generation.needs(generation: Generation) -> Bool:
1431  match generation:
1432    case Generation{fuel, step}:
1433      Generation.needs.of(fuel, step)