]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_misc.mli
local_url predicate (recognize file:// urls)
[helm.git] / helm / ocaml / getter / http_getter_misc.mli
index 11bba25c5ff7b5847341aa37210f7e7a0f30a3b9..5daac8c32eda068248210d5802bede58ba331bd7 100644 (file)
@@ -30,6 +30,9 @@
  failure reason *)
 exception Mkdir_failure of string * string
 
+  (** true for URI belonging to the "file://" scheme *)
+val is_local_url: string -> bool
+
  (** "fold_left" like function on file lines, trailing newline is not passed to
  the given function *)
 val fold_file : (string -> 'a -> 'a) -> 'a -> string -> 'a