let
is_whitespace =
function
' '
|
'\t'
|
'\r'
|
'\n'
->
true
|
_
->
false