module Header:This module contains extensions ofsig..end
Nethttp.Header for parsing
and setting header fields of WebDAV requests and responses.
For non-existing fields Not_found is raised. In case of unparseable
fields Nethttp.Bad_header_field is raised. For wrong input argument
for set_* functions Invalid_argument is raised.
val get_dav : #Nethttp.http_header_ro -> Webdav_http.dav listval set_dav : #Nethttp.http_header -> Webdav_http.dav list -> unitval get_depth : #Nethttp.http_header_ro -> Webdav_http.depthval set_depth : #Nethttp.http_header -> Webdav_http.depth -> unitval get_destination : #Nethttp.http_header_ro -> stringval set_destination : #Nethttp.http_header -> string -> unitval get_overwrite : #Nethttp.http_header_ro -> boolval set_overwrite : #Nethttp.http_header -> bool -> unitval get_if : #Nethttp.http_header_ro -> Webdav_http.if_conditionval set_if : #Nethttp.http_header -> Webdav_http.if_condition -> unit