Dependency on ocaml_http replaced by ocaml_http_stubs stubs

[helm.git] / matita / components / ocaml_http_stubs / http_user_agent.mli

diff --git a/matita/components/ocaml_http_stubs/http_user_agent.mli b/matita/components/ocaml_http_stubs/http_user_agent.mli
new file mode 100644 (file)
index 0000000..af818b1
--- /dev/null
+++ b/matita/components/ocaml_http_stubs/http_user_agent.mli
@@ -0,0 +1,16 @@
+(* The interface of this stub file is taken from the equally named module
+   of the ocaml-http library *)
+
+exception Http_error of (int * string)
+
+val get:
+ ?head_callback:(Http_types.status -> (string * string) list -> unit) ->
+  string ->
+    string
+
+val get_iter:
+ ?head_callback:(Http_types.status -> (string * string) list -> unit) ->
+  (bytes -> unit) -> string ->
+    unit
+
+val head: string -> string