def fmt_nat

import bend-prot@0.1.0.0/pdb.bend as Pdb

import Base

503def fmt_nat(w: Nat, n: Nat) -> String:
504  pad_left(Nat.show(n), w)

Uses (4)