def esc.body

bend-toon-codec@0.1.0.0 · src/text.bend:79

import bend-toon-codec@0.1.0.0/src/text.bend as Text
import Base

79def esc.body(+s: String) -> String:
80  match s:
81    case SNil{}:
82      SNil{}
83    case SCon{Chr{c}, t}:
84      esc.char(c) ++ esc.body(t)

Uses (4)

Used by (1)