def digit
import lawful-fields@0.1.1.0/defs.bend as Defsimport Base
39# The value of a decimal digit byte ('0' is 48).
40def digit(+x: U32) -> Maybe<&2, Nat>:
41 digit.if(x, U32.is_ge(x, 48) && U32.is_le(x, 57))
import lawful-fields@0.1.1.0/defs.bend as Defsimport Base
39# The value of a decimal digit byte ('0' is 48).
40def digit(+x: U32) -> Maybe<&2, Nat>:
41 digit.if(x, U32.is_ge(x, 48) && U32.is_le(x, 57))