def num.fin.range

emerging-eztoml@0.9.0.0 · main.bend:1703

import Base

1703# an integer inside the signed 64-bit range
1704def num.fin.range(ok: Bool, sign: Sign, digits: String) -> Got:
1705  match ok:
1706    case True{}:
1707      GotVal{VInt{sign, digits}}
1708    case False{}:
1709      GotBad{"out of range"}