bag_type


INSTANCE bag_type#1;
	element_type = entity_type#16;
	lower_bound = integer_literal#63;
	upper_bound = built_in_constant#63;
END_INSTANCE;

INSTANCE bag_type#2;
	element_type = entity_type#16;
	lower_bound = integer_literal#64;
	upper_bound = built_in_constant#64;
END_INSTANCE;

INSTANCE bag_type#3;
	element_type = entity_type#16;
	lower_bound = integer_literal#65;
	upper_bound = built_in_constant#65;
END_INSTANCE;

INSTANCE bag_type#4;
	element_type = entity_type#16;
	lower_bound = integer_literal#72;
	upper_bound = built_in_constant#72;
END_INSTANCE;

INSTANCE bag_type#5;
	element_type = entity_type#16;
	lower_bound = integer_literal#73;
	upper_bound = built_in_constant#73;
END_INSTANCE;

INSTANCE bag_type#6;
	element_type = defined_type#25;
END_INSTANCE;

INSTANCE bag_type#7;
	element_type = entity_type#16;
	lower_bound = integer_literal#88;
	upper_bound = built_in_constant#88;
END_INSTANCE;

INSTANCE bag_type#8;
	element_type = entity_type#16;
	lower_bound = integer_literal#89;
	upper_bound = built_in_constant#89;
END_INSTANCE;

INSTANCE bag_type#9;
	element_type = entity_type#16;
	lower_bound = integer_literal#90;
	upper_bound = built_in_constant#90;
END_INSTANCE;


INSTANCE bag_type#10;
	element_type = ?element_type;
	lower_bound = ?lower;
	upper_bound = ?upper;
END_INSTANCE;