~/jendhub

def num.lead.zero

emerging-eztoml@0.9.0.0 · main.bend:1386

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

1386# a leading zero, or another digit
1387def num.lead.zero(zero: Bool, digit: Bool, st: Num, +cc: Char) -> Num:
1388  match zero:
1389    case True{}:
1390      Num{NZero{}, num.sign.of(st), 10, [], False{}, True{}, ""}
1391    case False{}:
1392      num.lead.digit(digit, st, cc)

Uses (7)

Used by (1)