def NA
import lawful-fields@0.1.1.0/proof_num.bend as ProofNumimport Base
264def NA(+acc: U32, +x: U32) -> U32:
265 ((acc * 10 : U32) + (x - 48 : U32) : U32)
import lawful-fields@0.1.1.0/proof_num.bend as ProofNumimport Base
264def NA(+acc: U32, +x: U32) -> U32:
265 ((acc * 10 : U32) + (x - 48 : U32) : U32)