def num.digit

emerging-eztoml@0.9.0.0 · main.bend:1325

import Base

1325# a decimal digit joined to the numeral
1326def num.digit(st: Num, +cc: Char, nk: NK) -> Num:
1327  num.digit.go(st, cc, nk)