def String.trim

Base · base.bend:2262

2262def String.trim(s: String) -> String:
2263  String.trim_end(String.trim_start(s))