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