object method close : unit -> unit method filename : string end