Str.text.strip: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 72-74 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=72&end_line=74

import Base

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

Uses (3):
  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.lstrip
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.rstrip