#ifndef	operator_select_HEADER
#define	operator_select_HEADER

/*
 * operator_select_ui.h - User interface object and function declarations.
 * This file was generated by `gxv' from `operator_select.G'.
 * DO NOT EDIT BY HAND.
 */

extern Attr_attribute	INSTANCE;


typedef struct {
	Xv_opaque	operator_selection_pop;
	Xv_opaque	controls1;
	Xv_opaque	operators_list;
	Xv_opaque	Done_button;
} operator_select_operator_selection_pop_objects;

extern operator_select_operator_selection_pop_objects	*operator_select_operator_selection_pop_objects_initialize();

extern Xv_opaque	operator_select_operator_selection_pop_operator_selection_pop_create();
extern Xv_opaque	operator_select_operator_selection_pop_controls1_create();
extern Xv_opaque	operator_select_operator_selection_pop_operators_list_create();
extern Xv_opaque	operator_select_operator_selection_pop_Done_button_create();
#endif