Source position: gtkoptionmenu.pp line 31
function GTK_IS_OPTION_MENU_CLASS(
klass: pointer
):Boolean;