class type editor_app = object end
object end
method close : unit
unit
method reload : unit
method save : unit
method changed : bool
bool