def trim.both

import gralha-text-scan@0.1.0.1/scan.bend as Scan

import Base

254def trim.both(s: String) -> String:
255  rev(trim(rev(trim(s), "")), "")

Uses (3)