]> matita.cs.unibo.it Git - helm.git/commitdiff
exported is_blank
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:32:41 +0000 (14:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:32:41 +0000 (14:32 +0000)
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 *)