mlquote : string -> string
STRUCTURE
SYNOPSIS
Put quotation marks around a string.
DESCRIPTION
Like quote, mlquote s puts quotation marks around a string. However, it also transforms the characters in a string so that, when printed, it would be a valid ML lexeme.
FAILURE
Never fails
EXAMPLE
- print (quote "foo\nbar" ^ "\n");
"foo
bar"
> val it = () : unit

- print (mlquote "foo\nbar" ^ "\n");
"foo\nbar"
> val it = () : unit

SEEALSO
HOL  Kananaskis-14