~/jendhub

def num.fin.base

emerging-eztoml@0.9.0.0 · main.bend:1735

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

1735# a prefixed integer, rejected when a sign was written
1736def num.fin.base(signed: Bool, saw: Bool, sign: Sign, ds: List<&2, U32>) -> Got:
1737  match signed:
1738    case True{}:
1739      GotBad{"invalid number"}
1740    case False{}:
1741      num.fin.int(saw, sign, dec.text(ds))

Uses (7)

Used by (1)