Digits.Digits.Nil: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/digits.bend as Digits
Lines 15-20 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=15&end_line=20

import Base

# The length is part of the type. A Digits(32n) cannot contain 31 or 33 digits.
# This is the same type-family pattern that Base uses for Word(n).
#
# The empty sequence: the only value of Digits(0n).
type Digits.Nil is Data:
  DNil{}

Uses (0):