def text.pad4
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
556# four digits, zero padded
557def text.pad4(+nn: U32) -> String:
558 pad4.go(nn, U32.is_lt(nn, 10), U32.is_lt(nn, 100), U32.is_lt(nn, 1000))
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
556# four digits, zero padded
557def text.pad4(+nn: U32) -> String:
558 pad4.go(nn, U32.is_lt(nn, 10), U32.is_lt(nn, 100), U32.is_lt(nn, 1000))