class type local_file = object .. end
object
end
method filename : string
string
The filename
method close : unit -> unit
unit -> unit
Indicate that we are done with the file
