EmergingEztoml.num.digit: def of emerging-eztoml@0.10.0.0
Import: import emerging-eztoml@0.10.0.0/main.bend as EmergingEztoml
Lines 1325-1327 of emerging-eztoml@0.10.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.10.0.0/main.bend&start_line=1325&end_line=1327

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=NK
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=Num
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=num.digit.go