law fmt_u32_golden

bend-prot@0.1.0.0 · LAWS.bend:926

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

926law fmt_u32_golden:
927  {Pdb.fmt_u32(5n, 42) == "   42" : String}