1 files changed, 5 insertions, 0 deletions
diff --git a/lib/util.mli b/lib/util.mli
index fce150e803..26d912d152 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -25,6 +25,11 @@ val anomaly_loc : loc * string * std_ppcmds -> 'a
 val user_err_loc : loc * string * std_ppcmds -> 'a
 val invalid_arg_loc : loc * string -> 'a
 
+(*s Chars. *)
+
+val is_letter : char -> bool
+val is_digit : char -> bool
+
 (*s Strings. *)
 
 val explode : string -> string list