Source position: gtkoptionmenu.pp line 35
function gtk_option_menu_get_menu(
option_menu: PGtkOptionMenu
):PGtkWidget;