Class type Netfs.local_file

class type local_file = object .. end

method filename : string

The filename

method close : unit -> unit

Indicate that we are done with the file

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge