def digit.value

import yaml-for-bend@0.1.1.0/scan.bend as Scan

import Base

961def digit.value(c: Char) -> Nat:
962  U32.to_nat(U32.sub(code(c), 48))

Uses (5)