def escape.char

import emerging-ezjson@1.3.0.0/src/print.bend as Print

import Base

53# one char of a string
54def escape.char(+ch: Char) -> String:
55  +cp = Char.to_u32(ch)
56  escape.scalar(cp, ch, scalar(cp))

Uses (5)