Ezsys.text.pad_right: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/main.bend as Ezsys Lines 118-120 of ezsys@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/main.bend&start_line=118&end_line=120 import Base import ezsys@0.1.0.0/src/str.bend as Str # the text with spaces after it up to `width` code points (str.ljust) def text.pad_right(txt: String, width: Nat) -> String: Str.text.pad_right(txt, width) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.pad_right