Plasma GitLab Archive
Projects Blog Knowledge

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
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml