class type local_file = object .. end
object
end
method filename : string
string
method close : unit -> unit
unit -> unit