def dig

import ezx@1.11.0.0/src/git/git.bend as Git

import Base

467# a decimal digit's value
468def dig(ch: Char) -> Nat:
469  U32.to_nat(U32.sub(Char.to_u32(ch), 48))

Uses (5)