def NonZero.digits

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

import Base

129# The digits, without their proof.
130def NonZero.digits(-n: Nat, value: NonZero<n>) -> Digits(n):
131  match value:
132    case NonZero{digits, evidence}:
133      digits