def fmt_u32

bend-prot@0.1.0.0 · pdb.bend:500

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

import Base

500def fmt_u32(w: Nat, x: U32) -> String:
501  pad_left(U32.show(x), w)

Uses (5)

U32
Nat
String
U32.show
bend-prot@0.1.0.0/pdb:pad_left

Used by (2)

bend-prot@0.1.0.0/pdb:write_atom_line
bend-prot@0.1.0.0/LAWS:fmt_u32_golden