class single_selection_math_view_signals :signals[> `gtk | `mathview_gmetadom | `widget ] Gtk.obj -> ((Gdome.element option -> unit) -> unit) ->object..end
val obj : ([> `gtk | `mathview_gmetadom | `widget ] as 'a) Gtk.objmethod selection_changed : (Gdome.element_of_node option -> unit) -> unit