From 85c1a17aaff698e2897cbddfb81f03044737b2da Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 4 Nov 2005 14:32:41 +0000 Subject: [PATCH] exported is_blank --- helm/ocaml/extlib/hExtlib.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli index 3372975da..6e0484b87 100644 --- a/helm/ocaml/extlib/hExtlib.mli +++ b/helm/ocaml/extlib/hExtlib.mli @@ -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 *) -- 2.39.2