def num.digs

emerging-eztoml@0.9.0.0 · main.bend:1522

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

1522# a decimal digit, an underscore, a dot, or an exponent
1523def num.digs(st: Num, +cc: Char) -> Num:
1524  num.digs.go(Char.is_digit(cc), Char.is_eq(cc, '_'), Char.is_eq(cc, '.'),
1525    Char.is_eq(cc, 'e'), Char.is_eq(cc, 'E'), st, cc)

Uses (5)

Used by (1)