Plasma GitLab Archive
Projects Blog Knowledge

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
Powered by Caml