def text.pad_right

import ezsys@0.1.0.0/main.bend as Ezsys

import Base
import ezsys@0.1.0.0/src/str.bend as Str

118# the text with spaces after it up to `width` code points (str.ljust)
119def text.pad_right(txt: String, width: Nat) -> String:
120  Str.text.pad_right(txt, width)

Uses (3)

Nat
String
ezsys@0.1.0.0/src/str:text.pad_right

Used by (0)

No other definition uses this definition.