def wf.int

emerging-eztoml@0.9.0.0 · main.bend:6162

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

import Base

6162# an integer: decimal digits within signed 64 bits
6163def wf.int(+sign: Sign, +digits: String) -> Bool:
6164  Bool.and(wf.dec(digits), i64.fits(sign, digits))

Uses (6)

Used by (1)

emerging-eztoml@0.9.0.0/main:wf.atom