def num.fin.int

emerging-eztoml@0.9.0.0 · main.bend:1711

import Base

1711# a finished integer, rejected when it falls outside signed 64-bit
1712def num.fin.int(saw: Bool, +sign: Sign, +digits: String) -> Got:
1713  match saw:
1714    case False{}:
1715      GotBad{"invalid number"}
1716    case True{}:
1717      num.fin.range(i64.fits(sign, digits), sign, digits)