~/jendhub

def num.lead.digit

emerging-eztoml@0.9.0.0 · main.bend:1378

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

1378# a first digit
1379def num.lead.digit(digit: Bool, st: Num, +cc: Char) -> Num:
1380  match digit:
1381    case True{}:
1382      num.digit(st, cc, NDig{})
1383    case False{}:
1384      num.bad(st, "invalid number")

Uses (6)

Used by (1)