?attributes:(string * string) list ->
Ed_view.topwin ->
((< attributes : (string * string) list; backward_char : unit;
    backward_line : unit; backward_word : unit; beginning_of_line : unit;
    box : GObj.widget; buffer_modified : bool; buffer_name : string;
    close : unit; connect_buffer_events : unit; copy : (unit -> unit) option;
    current_line : int; cut : (unit -> unit) option;
    cut_to_selection : ?concat:[ `APPEND | `PREPEND ] ->
                       start:GText.iter -> stop:GText.iter -> unit -> unit;
    delete_char : bool -> unit; destroy : unit; display_buffer_name : 
    unit; display_encoding : unit; display_location : unit;
    display_mode : unit; display_modified : unit; display_state : unit;
    display_stx_mode : unit; do_save : unit;
    dup : Ed_view.topwin -> Ed_view.gui_view option; end_of_line : unit;
    file : Ed_sourceview.buffered_file; filename : string;
    forward_char : unit; forward_line : unit; forward_word : unit;
    goto_char : int -> unit; goto_line : int -> unit; grab_focus : unit;
    has_focus : bool; insert : string -> unit;
    key_bindings : (Okey.keyhit_state * string) list;
    kill_line : append:bool -> unit;
    kill_word : ?concat:[ `APPEND | `PREPEND ] -> bool -> unit;
    kind : string; label : string;
    menus : (string * GToolbox.menu_entry list) list;
    minibuffer : Ed_minibuffer.minibuffer; my_set_label : unit;
    on_cursor_moved : unit; paste : (unit -> unit) option;
    place_cursor : ?scroll:bool -> GText.iter -> unit; redo : unit;
    reload : (unit -> unit) option; save : (unit -> unit) option;
    save_as : (unit -> unit) option; set_encoding : string option -> unit;
    set_file : ?focus_in:bool -> Ed_sourceview.buffered_file -> unit;
    set_label : string -> unit; set_location : int * int -> unit;
    set_mode : Ed_sourceview.mode option -> unit;
    set_my_location : int * int -> unit;
    set_on_destroy : (unit -> unit) -> unit;
    set_on_focus_in : (unit -> unit) -> unit;
    set_on_label_change : (string -> unit) -> unit;
    set_scroll_on_change : unit;
    set_syntax_mode : GSourceView.source_language -> unit;
    set_wrap_mode : Gtk.Tags.wrap_mode -> unit;
    source_buffer : Ed_sourceview.my_buffer;
    source_view : GSourceView.source_view;
    switch_line_markers : ?v:bool -> unit -> unit;
    switch_line_numbers : ?v:bool -> unit -> unit; transpose_chars : 
    unit; transpose_lines : unit; transpose_words : unit; undo : unit;
    unset_scroll_on_change : unit; update_my_location : unit; .. >
  as 'a) ->
 unit) ->
('-> 'b) ->
(Ed_sourceview.buffered_file -> Ed_view.topwin -> Ed_view.gui_view) ->
(string -> string -> unit) ->
Ed_sourceview.buffered_file ->
object ('a)
  val mutable file : Ed_sourceview.buffered_file
  val mutable label : string
  val mutable my_location : int * int
  val mutable on_destroy : unit -> unit
  val mutable on_focus_in : unit -> unit
  val mutable on_label_change : string -> unit
  method attributes : (string * string) list
  method backward_char : unit
  method backward_line : unit
  method backward_word : unit
  method beginning_of_line : unit
  method box : GObj.widget
  method buffer_modified : bool
  method buffer_name : string
  method close : unit
  method connect_buffer_events : unit
  method copy : (unit -> unit) option
  method current_line : int
  method cut : (unit -> unit) option
  method cut_to_selection :
    ?concat:[ `APPEND | `PREPEND ] ->
    start:GText.iter -> stop:GText.iter -> unit -> unit
  method delete_char : bool -> unit
  method destroy : unit
  method display_buffer_name : unit
  method display_encoding : unit
  method display_location : unit
  method display_mode : unit
  method display_modified : unit
  method display_state : unit
  method display_stx_mode : unit
  method do_save : unit
  method dup : Ed_view.topwin -> Ed_view.gui_view option
  method end_of_line : unit
  method file : Ed_sourceview.buffered_file
  method filename : string
  method forward_char : unit
  method forward_line : unit
  method forward_word : unit
  method goto_char : int -> unit
  method goto_line : int -> unit
  method grab_focus : unit
  method has_focus : bool
  method insert : string -> unit
  method key_bindings : (Okey.keyhit_state * string) list
  method kill_line : append:bool -> unit
  method kill_word : ?concat:[ `APPEND | `PREPEND ] -> bool -> unit
  method kind : string
  method label : string
  method private location_in_buffer : int * int
  method menus : (string * GToolbox.menu_entry list) list
  method minibuffer : Ed_minibuffer.minibuffer
  method my_set_label : unit
  method on_cursor_moved : unit
  method paste : (unit -> unit) option
  method place_cursor : ?scroll:bool -> GText.iter -> unit
  method redo : unit
  method reload : (unit -> unit) option
  method save : (unit -> unit) option
  method save_as : (unit -> unit) option
  method set_encoding : string option -> unit
  method set_file : ?focus_in:bool -> Ed_sourceview.buffered_file -> unit
  method set_label : string -> unit
  method set_location : int * int -> unit
  method set_mode : Ed_sourceview.mode option -> unit
  method set_my_location : int * int -> 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 set_scroll_on_change : unit
  method set_syntax_mode : GSourceView.source_language -> unit
  method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
  method source_buffer : Ed_sourceview.my_buffer
  method source_view : GSourceView.source_view
  method switch_line_markers : ?v:bool -> unit -> unit
  method switch_line_numbers : ?v:bool -> unit -> unit
  method transpose_chars : unit
  method transpose_lines : unit
  method transpose_words : unit
  method undo : unit
  method unset_scroll_on_change : unit
  method update_my_location : unit
  method private write_file : unit
end