let chr: (_: nat) => option<string>
String consisting of the character represented by a `nat` in the interval `[0, 255]`.
let nl: string
String consisting of only a newline.
let show: <a>(_: a) => string
Converts a value to a string (same conversion as used by `Test.log`).
let json: <a>(_: a) => string
Converts a value to its JSON representation (as a string).
let debugger_json: <a>(_: a) => string