def DG

import lawful-fields@0.1.1.0/proof_digits.bend as ProofDigits

import Base

248# The byte of the last decimal digit of x.
249def DG(+x: Nat) -> U32:
250  U32.from_nat(Nat.add(48n, Nat.mod(x, 10n)))

Uses (5)