def u32.num
import bend-kit-json@0.7.0.0/json.bend as Jsonimport Base
966def u32.num(s: String) -> Maybe<&2, U32>:
967 match s:
968 case SNil{}:
969 None{}
970 case SCon{Chr{+c}, t}:
971 u32.lead(c, t, U32.is_eq(c, 48))
import bend-kit-json@0.7.0.0/json.bend as Jsonimport Base
966def u32.num(s: String) -> Maybe<&2, U32>:
967 match s:
968 case SNil{}:
969 None{}
970 case SCon{Chr{+c}, t}:
971 u32.lead(c, t, U32.is_eq(c, 48))