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;