Ed_view.topwin ->
string ->
((< add : ?abs:string -> string -> unit; attributes : (string * string) list;
    box : GObj.widget; clipbox : Multiclip_gui.multiclip_box; close : 
    unit; copy : (unit -> unit) option; cut : (unit -> unit) option;
    destroy : unit; dup : Ed_view.topwin -> Ed_view.gui_view option;
    filename : string; grab_focus : unit;
    key_bindings : (Okey.keyhit_state * string) list; kind : string;
    label : string; menus : (string * GToolbox.menu_entry list) list;
    minibuffer : Ed_minibuffer.minibuffer; paste : (unit -> unit) option;
    reload : (unit -> unit) option; remove : string -> unit;
    save : (unit -> unit) option; save_as : (unit -> unit) option;
    set_label : string -> unit; set_on_destroy : (unit -> unit) -> unit;
    set_on_focus_in : (unit -> unit) -> unit;
    set_on_label_change : (string -> unit) -> unit;
    storable_multiclip : Multiclip.storable_multiclip; vbox : GPack.box; .. >
  as 'a) ->
 unit) ->
('-> 'b) ->
object ('a)
  val mutable label : string
  val mutable on_destroy : unit -> unit
  val mutable on_label_change : string -> unit
  method add : ?abs:string -> string -> unit
  method attributes : (string * string) list
  method box : GObj.widget
  method clipbox : Multiclip_gui.multiclip_box
  method close : unit
  method copy : (unit -> unit) option
  method cut : (unit -> unit) option
  method destroy : unit
  method dup : Ed_view.topwin -> Ed_view.gui_view option
  method filename : string
  method grab_focus : unit
  method key_bindings : (Okey.keyhit_state * string) list
  method kind : string
  method label : string
  method menus : (string * GToolbox.menu_entry list) list
  method minibuffer : Ed_minibuffer.minibuffer
  method paste : (unit -> unit) option
  method reload : (unit -> unit) option
  method remove : string -> unit
  method save : (unit -> unit) option
  method save_as : (unit -> unit) option
  method set_label : string -> unit
  method set_on_destroy : (unit -> unit) -> unit
  method set_on_focus_in : (unit -> unit) -> unit
  method set_on_label_change : (string -> unit) -> unit
  method storable_multiclip : Multiclip.storable_multiclip
  method vbox : GPack.box
end