type Digits.Nil

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

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

import Base

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

Uses (0)

This definition uses no other definition.

Used by (16)