class single_selection_math_view_signals :
([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
((Gdome.element option -> unit) -> unit) ->
class single_selection_math_view_signals :
([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
((Gdome.element option -> unit) -> unit) ->