Module GtkButtonProps.RadioToolButton
val cast : 'a Gobject.obj -> Gtk.radio_tool_button Gtk.obj
module P : sig ... endval create : Gtk.radio_tool_button Gobject.param list -> Gtk.radio_tool_button Gtk.obj
GtkButtonProps.RadioToolButtonval cast : 'a Gobject.obj -> Gtk.radio_tool_button Gtk.objmodule P : sig ... endval create : Gtk.radio_tool_button Gobject.param list -> Gtk.radio_tool_button Gtk.obj