]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/hExtlib.mli
exported is_blank
[helm.git] / helm / ocaml / extlib / hExtlib.mli
index 3372975dab05b5f6c5e1d46334336efdaa045fcb..6e0484b87e3360a22204b8737628dcaeb309fc90 100644 (file)
@@ -52,6 +52,7 @@ val finally: (unit -> unit) -> ('a -> 'b) -> 'a -> 'b
 (** {2 Char processing} *)
 
 val is_alpha: char -> bool
+val is_blank: char -> bool
 val is_digit: char -> bool
 val is_alphanum: char -> bool (** is_alpha || is_digit *)