type Scan
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContextimport Base
2077# A tracestate being read: the members ended so far, empty ones included; how
2078# many more nonempty members are allowed; the current member; and the first
2079# entry of each key, in reading order. Stopped holds the first problem found.
2080# The scan and its helpers are internal.
2081type Scan is Data:
2082 Scanning{member: Nat, room: Nat, current: Member, entries: List<&2, StateEntry>}
2083 Stopped{error: StateError}