set_type


INSTANCE set_type#70;
	corresponds_to = {correspondence#1, correspondence#59};
	element_type = entity_type#190;
	lower_bound = integer_literal#107;
	upper_bound = built_in_constant#101;
END_INSTANCE;

INSTANCE set_type#71;
	corresponds_to = {correspondence#9, correspondence#43};
	element_type = entity_type#192;
	lower_bound = integer_literal#102;
	upper_bound = built_in_constant#98;
END_INSTANCE;

INSTANCE set_type#72;
	corresponds_to = {correspondence#12};
	element_type = entity_type#193;
	lower_bound = integer_literal#103;
	upper_bound = integer_literal#104;
END_INSTANCE;

INSTANCE set_type#73;
	element_type = entity_type#193;
	lower_bound = integer_literal#105;
	upper_bound = built_in_constant#99;
END_INSTANCE;

INSTANCE set_type#74;
	corresponds_to = {correspondence#15};
	element_type = defined_type#39;
	lower_bound = integer_literal#106;
	upper_bound = built_in_constant#100;
END_INSTANCE;

INSTANCE set_type#75;
	corresponds_to = {correspondence#1, correspondence#43};
	element_type = entity_type#199;
	lower_bound = integer_literal#117;
	upper_bound = built_in_constant#109;
END_INSTANCE;

INSTANCE set_type#76;
	corresponds_to = {correspondence#9, correspondence#59};
	element_type = entity_type#201;
	lower_bound = integer_literal#111;
	upper_bound = built_in_constant#103;
END_INSTANCE;

INSTANCE set_type#77;
	corresponds_to = {correspondence#12};
	element_type = entity_type#202;
	lower_bound = integer_literal#112;
	upper_bound = integer_literal#113;
END_INSTANCE;

INSTANCE set_type#78;
	element_type = entity_type#202;
	lower_bound = integer_literal#114;
	upper_bound = built_in_constant#104;
END_INSTANCE;

INSTANCE set_type#79;
	corresponds_to = {correspondence#15};
	element_type = defined_type#43;
	lower_bound = integer_literal#116;
	upper_bound = built_in_constant#106;
END_INSTANCE;