Source position: gtkoptionmenu.inc line 44
function gtk_option_menu_get_menu(
option_menu: PGtkOptionMenu
):PGtkWidget;