def U32.show.if
import Base2371def U32.show.if(a: U32, z: Bool) -> String:
2372 match z:
2373 case True{}:
2374 SCon{Chr{48}, SNil{}}
2375 case False{}:
2376 U32.show.go(10n, a, SNil{})
import Base2371def U32.show.if(a: U32, z: Bool) -> String:
2372 match z:
2373 case True{}:
2374 SCon{Chr{48}, SNil{}}
2375 case False{}:
2376 U32.show.go(10n, a, SNil{})