def String.trim_end
import Base2259def String.trim_end(s: String) -> String:
2260 String.reverse(String.trim_start(String.reverse(s)))
import Base2259def String.trim_end(s: String) -> String:
2260 String.reverse(String.trim_start(String.reverse(s)))