type Digits.Con

bend-trace-context@0.2.0.0 · src/digits.bend:22

import Base
import bend-trace-context@0.2.0.0/src/hex.bend as Hex

22# A first digit followed by a sequence of p digits: a value of Digits(1n+p).
23type Digits.Con<-p: Nat> is Data:
24  DCon{head: Hex.Digit, tail: Digits(p)}