type Parsed

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

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

159# A sequence of n digits read from the front of a text, with the text that
160# remains after it. The length n is part of the type, so a reader of 32 digits
161# can only produce 32.
162type Parsed<-n: Nat> is Data:
163  Parsed{digits: Digits.Digits(n), rest: String}