def pad4.big

emerging-eztoml@0.9.0.0 · main.bend:532

import Base

532# the one-zero pad, or the digits themselves
533def pad4.big(nn: U32, big: Bool) -> String:
534  match big:
535    case True{}:
536      "0" ++ U32.show(nn)
537    case False{}:
538      U32.show(nn)