def pad_right

bend-prot@0.1.0.0 · pdb.bend:494

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

494def pad_right(+s: String, w: Nat) -> String:
495  String.append(s, String.repeat(" ", Nat.sub(w, String.length(s))))

Uses (6)

Used by (2)