def pad4.mid
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
540# the three-digit and two-digit pads
541def pad4.mid(nn: U32, mid: Bool, big: Bool) -> String:
542 match mid:
543 case True{}:
544 "00" ++ U32.show(nn)
545 case False{}:
546 pad4.big(nn, big)