def pad_left

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

import Base

491def pad_left(+s: String, w: Nat) -> String:
492  String.append(String.repeat(" ", Nat.sub(w, String.length(s))), s)

Uses (6)