def pad_zero

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

import Base

497def pad_zero(+s: String, w: Nat) -> String:
498  String.append(String.repeat("0", Nat.sub(w, String.length(s))), s)

Uses (6)