def NonZero.to_string

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

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

import Base

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

Uses (5)

Used by (3)