object method active_view : Ed_view.gui_view option method contains_view : Ed_view.gui_view -> bool method minibuffer : Ed_minibuffer.minibuffer method set_active_view : Ed_view.gui_view option -> unit end