def pad2.go

emerging-eztoml@0.9.0.0 · main.bend:520

import Base

520# two digits, zero padded
521def pad2.go(small: Bool, nn: U32) -> String:
522  match small:
523    case True{}:
524      "0" ++ U32.show(nn)
525    case False{}:
526      U32.show(nn)