]> matita.cs.unibo.it Git - helm.git/blob - matita/components/ocaml_http_stubs/http_user_agent.ml
90c6deed41abd77b1be4bbf1803ea7f6c562b432
[helm.git] / matita / components / ocaml_http_stubs / http_user_agent.ml
1 exception Http_error of (int * string)
2
3 let get ?head_callback _ = assert false
4
5 let get_iter ?head_callback _ _ = assert false
6
7 let head _ = assert false