val cast : 'a Gobject.obj -> Gtk.notebook Gtk.objmodule P : sig ... endmodule S : sig ... endval create : Gtk.notebook Gobject.param list -> Gtk.notebook Gtk.objval insert_page_menu :
[> `notebook ] Gtk.obj ->
[> `widget ] Gtk.obj ->
tab_label:[> `widget ] Gtk.optobj ->
menu_label:[> `widget ] Gtk.optobj ->
?pos:int ->
intval remove_page : [> `notebook ] Gtk.obj -> int -> unitval get_current_page : [> `notebook ] Gtk.obj -> intval get_nth_page : [> `notebook ] Gtk.obj -> int -> Gtk.widget Gtk.objval next_page : [> `notebook ] Gtk.obj -> unitval prev_page : [> `notebook ] Gtk.obj -> unitval get_tab_label :
[> `notebook ] Gtk.obj ->
[> `widget ] Gtk.obj ->
Gtk.widget Gtk.objval get_menu_label :
[> `notebook ] Gtk.obj ->
[> `widget ] Gtk.obj ->
Gtk.widget Gtk.objval make_params :
cont:([> `notebook ] as 'a Gobject.param list -> 'b) ->
'c Gobject.param list ->
?enable_popup:bool ->
?group_name:string ->
?scrollable:bool ->
?show_border:bool ->
?show_tabs:bool ->
?tab_pos:GtkEnums.position_type ->
'd