Formatted and verified correct definition of whitespace.

Author: Alexander Lucas

src/core/CCChar.ml

@@ -25,7 +25,8 @@ end
 include Infix
 
 let is_uppercase_ascii c = c > '\064' && c < '\091'
-let is_lowercase_ascii c = c > '\097' && c < '\123'
-let is_letter_ascii c = is_uppercase_ascii c || is_lowercase_ascii c
+let is_lowercase_ascii c = c > '\096' && c < '\123'
+let is_letter_ascii c =
+  (is_lowercase_ascii[@inlined]) c || (is_uppercase_ascii[@inlined]) c
 let is_digit_ascii c = c > '\047' && c < '\058'
 let is_whitespace_ascii c = c = '\032' || (c > '\008' && c < '\014')

src/core/CCChar.mli

@@ -62,7 +62,8 @@ val is_digit_ascii : t -> bool
 
 val is_whitespace_ascii : t -> bool
 (** [is_whitespace_ascii c] is true exactly when [c] is an ASCII
-    whitespace character, i.e. either [c = ' '] or ['\008'] < [c] < ['\014'].
+    whitespace character as defined by Unicode, i.e. either [c = ' ']
+    or ['\008'] < [c] < ['\014'].
     @since 3.16 *)
 
 (** {2 Infix Operators}