def num.lead
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1410# the first character after an optional sign
1411def num.lead(st: Num, +cc: Char) -> Num:
1412 num.lead.go(Char.is_eq(cc, '+'), Char.is_eq(cc, '-'), Char.is_eq(cc, '0'),
1413 Char.is_digit(cc), st, cc)