let
char_for_backslash =
function
|
'n'
->
'\n'
|
't'
->
'\t'
|
'b'
->
'\b'
|
'r'
->
'\r'
|
c
->
c