object method home_directory : string -> string method path_encoding : Netconversion.encoding option end
