Note:

You are viewing a development version of the library. Goto the latest version.

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