def text.strip

import ezsys@0.1.0.0/main.bend as Ezsys

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

81# the text with Python's whitespace removed from both ends (str.strip())
82def text.strip(txt: String) -> String:
83  Str.text.strip(txt)

Uses (2)

String
ezsys@0.1.0.0/src/str:text.strip

Used by (0)

No other definition uses this definition.