sig
type webdav_status =
[ `Accepted
| `Bad_gateway
| `Bad_request
| `Conflict
| `Continue
| `Created
| `Expectation_failed
| `Failed_dependency
| `Forbidden
| `Found
| `Gateway_timeout
| `Gone
| `Http_version_not_supported
| `Insufficient_storage
| `Internal_server_error
| `Length_required
| `Locked
| `Method_not_allowed
| `Moved_permanently
| `Multi_status
| `Multiple_choices
| `No_content
| `Non_authoritative
| `Not_acceptable
| `Not_found
| `Not_implemented
| `Not_modified
| `Ok
| `Partial_content
| `Payment_required
| `Precondition_failed
| `Proxy_auth_required
| `Request_entity_too_large
| `Request_timeout
| `Request_uri_too_long
| `Requested_range_not_satisfiable
| `Reset_content
| `See_other
| `Service_unavailable
| `Switching_protocols
| `Temporary_redirect
| `Unauthorized
| `Unprocessable_entity
| `Unsupported_media_type
| `Use_proxy ]
val int_of_webdav_status : Webdav_http.webdav_status -> int
val string_of_webdav_status : Webdav_http.webdav_status -> string
val webdav_status_of_int : int -> Webdav_http.webdav_status
val webdav_proto : string
type depth = [ `Infinity | `One | `Zero ]
type dav =
[ `Class1 | `Class2 | `Class3 | `Token of string | `URL of string ]
type if_condition =
[ `Self_target of Webdav_http.if_self_or_condition
| `URL_target of Webdav_http.if_url_or_condition ]
and if_self_or_condition = [ `Or of Webdav_http.if_and_condition list ]
and if_url_or_condition =
[ `Or of (string * Webdav_http.if_and_condition) list ]
and if_and_condition = [ `And of Webdav_http.if_atom list ]
and if_atom =
[ `Etag of Nethttp.etag
| `Not of Webdav_http.if_atom
| `State_token of string ]
module Header :
sig
val get_dav : #Nethttp.http_header_ro -> Webdav_http.dav list
val set_dav : #Nethttp.http_header -> Webdav_http.dav list -> unit
val get_depth : #Nethttp.http_header_ro -> Webdav_http.depth
val set_depth : #Nethttp.http_header -> Webdav_http.depth -> unit
val get_destination : #Nethttp.http_header_ro -> string
val set_destination : #Nethttp.http_header -> string -> unit
val get_overwrite : #Nethttp.http_header_ro -> bool
val set_overwrite : #Nethttp.http_header -> bool -> unit
val get_if : #Nethttp.http_header_ro -> Webdav_http.if_condition
val set_if : #Nethttp.http_header -> Webdav_http.if_condition -> unit
end
end
