def DG
import lawful-fields@0.1.1.0/proof_num.bend as ProofNumimport Base
257# One step of num.go on byte x: the digit test, the overflow test, the new value.
258def DG(+x: U32) -> Bool:
259 U32.is_ge(x, 48) && U32.is_le(x, 57)
import lawful-fields@0.1.1.0/proof_num.bend as ProofNumimport Base
257# One step of num.go on byte x: the digit test, the overflow test, the new value.
258def DG(+x: U32) -> Bool:
259 U32.is_ge(x, 48) && U32.is_le(x, 57)