def text.strip

ezsys@0.1.0.0 · src/str.bend:72

import Base

72# the text with whitespace removed from both ends
73def text.strip(txt: String) -> String:
74  text.rstrip(text.lstrip(txt))