type ParsedBytes

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

import Base
import bend-trace-context@0.2.0.0/src/digits.bend as Digits

165# The digits of n bytes read from the front of a list of cells, two digits per
166# byte, with the cells that remain after them.
167type ParsedBytes<-n: Nat> is Data:
168  ParsedBytes{digits: Digits.Digits(Nat.double(n)), rest: List<&2, U32>}