Digits.Digits.Con: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/digits.bend as Digits
Lines 22-24 of bend-trace-context@0.2.0.0/src/digits.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/src/digits.bend&start_line=22&end_line=24

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

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

Uses (3):
  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/src/digits.bend&name=Digits
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&name=Digit