?pipeline:Http_client.pipeline -> string -> Webdav_client.webdav_client_t