Dependency on ocaml_http replaced by ocaml_http_stubs stubs

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

diff --git a/matita/components/ocaml_http_stubs/http_types.mli b/matita/components/ocaml_http_stubs/http_types.mli
new file mode 100644 (file)
index 0000000..356d2d9
--- /dev/null
+++ b/matita/components/ocaml_http_stubs/http_types.mli
@@ -0,0 +1,6 @@
+(* The interface of this stub file is taken from the equally named module
+   of the ocaml-http library *)
+
+type version
+type status
+type status_code = [ `Code of int | `Status of status ]