- ml-char cprocedure
Renders character c, escaping it in the manner of (though not byte-identical to) SML's Char.toString: printable ASCII passes through, common control characters get a backslash escape (\n, \t, \r, \\), anything else falls back to a decimal code escape.