TraceContext.TraceDraw: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 244-257 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=244&end_line=257

import Base

# The generation machine below is shared by the IO operations and stated in
# the laws. Its types and its TraceDraw, SpanDraw, TraceStep, SpanStep,
# SpanPlan, TracePlan, Draw, Step and Drive functions are internal: callers use
# TraceId.generate_with, SpanId.generate_with and the `Context.*_with`
# operations, or generation.bend, and a host that feeds words itself uses
# Generation.
#
# A trace ID draw that waits for a word: `remaining` counts the further
# candidates allowed after the current one, so each draw gets eight
# candidates in all, `words` holds the words of the current candidate, and
# `excluded` is the trace ID that no candidate may repeat, such as the
# received one that a restart replaces.
type TraceDraw is Data:
  TraceDraw{remaining: Nat, words: TraceWords, excluded: Maybe<&2, TraceId>}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=TraceId
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=TraceWords