Digits.NonZero.to_string: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/digits.bend as Digits
Lines 135-137 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=135&end_line=137

import Base

# The n lowercase characters of the digits.
def NonZero.to_string(n: Nat, value: NonZero<n>) -> String:
  Digits.to_string(n, NonZero.digits(n, value))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/digits.bend&name=Digits.to_string
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/digits.bend&name=NonZero
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/digits.bend&name=NonZero.digits