?depth:Webdav_http.depth ->
?strip_prefix:string ->
Webdav_client_methods.list_request ->
string -> Webdav_client_methods.filelist_t