def U32.read
import Base2402def U32.read(s: String) -> Maybe<&2, U32>:
2403 match s:
2404 case SNil{}:
2405 None{}
2406 case SCon{h, t}:
2407 U32.read.go(SCon{h, t}, 0)
import Base2402def U32.read(s: String) -> Maybe<&2, U32>:
2403 match s:
2404 case SNil{}:
2405 None{}
2406 case SCon{h, t}:
2407 U32.read.go(SCon{h, t}, 0)