type Generation

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

import Base

312# A generation with its word budget, for a host that feeds it one word at a
313# time instead of passing a source as a template, such as JavaScript code
314# calling this module: the words it may still read (`fuel`) and the
315# machine's step. Its fields are internal, like Step: Generation.root and
316# its siblings build one. Context.continue_or_start_with and
317# Context.send_with drive the same values, and a host that feeds words while
318# Generation.needs says so gets the pure driver's result (law
319# generation_drive). Context.root_with and its siblings compose the
320# separate generation, whose results laws root_tape and its siblings give as
321# that driver's.
322type Generation is Data:
323  Generation{fuel: Nat, step: Step}