matita/components/ocaml_http_stubs/http_user_agent.mli

   1 (* The interface of this stub file is taken from the equally named module
   2    of the ocaml-http library *)
   3
   4 exception Http_error of (int * string)
   5
   6 val get:
   7  ?head_callback:(Http_types.status -> (string * string) list -> unit) ->
   8   string ->
   9     string
  10
  11 val get_iter:
  12  ?head_callback:(Http_types.status -> (string * string) list -> unit) ->
  13   (bytes -> unit) -> string ->
  14     unit
  15
  16 val head: string -> string