def quote
import bend-toon-codec@0.1.0.0/src/text.bend as Textimport Base
86# `"text"` with escapes.
87def quote(+s: String) -> String:
88 "\"" ++ esc.body(s) ++ "\""
import bend-toon-codec@0.1.0.0/src/text.bend as Textimport Base
86# `"text"` with escapes.
87def quote(+s: String) -> String:
88 "\"" ++ esc.body(s) ++ "\""