list_type
INSTANCE list_type#1;
element_type = entity_type#17;
lower_bound = integer_literal#6;
upper_bound = built_in_constant#6;
is_unique = true;
END_INSTANCE;
INSTANCE list_type#2;
element_type = defined_type#11;
lower_bound = integer_literal#29;
upper_bound = built_in_constant#29;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#3;
element_type = entity_type#48;
lower_bound = integer_literal#32;
upper_bound = built_in_constant#32;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#4;
element_type = entity_type#42;
lower_bound = integer_literal#37;
upper_bound = built_in_constant#37;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#5;
element_type = entity_type#59;
lower_bound = integer_literal#47;
upper_bound = built_in_constant#47;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#6;
element_type = entity_type#16;
lower_bound = integer_literal#67;
upper_bound = built_in_constant#67;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#7;
element_type = entity_type#16;
lower_bound = integer_literal#68;
upper_bound = built_in_constant#68;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#8;
element_type = entity_type#98;
lower_bound = integer_literal#69;
upper_bound = built_in_constant#69;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#9;
element_type = defined_type#25;
lower_bound = integer_literal#78;
upper_bound = built_in_constant#78;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#10;
element_type = defined_type#25;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#11;
element_type = simple_type(string_type);
lower_bound = integer_literal#79;
upper_bound = built_in_constant#79;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#12;
element_type = entity_type#16;
lower_bound = integer_literal#82;
upper_bound = built_in_constant#82;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#13;
element_type = entity_type#39;
lower_bound = integer_literal#83;
upper_bound = built_in_constant#83;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#14;
element_type = entity_type#134;
lower_bound = integer_literal#85;
upper_bound = built_in_constant#85;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#15;
element_type = entity_type#48;
lower_bound = integer_literal#84;
upper_bound = built_in_constant#84;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#16;
element_type = entity_type#132;
lower_bound = integer_literal#86;
upper_bound = built_in_constant#86;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#17;
element_type = entity_type#148;
lower_bound = integer_literal#87;
upper_bound = built_in_constant#87;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#18;
element_type = entity_type#16;
lower_bound = integer_literal#91;
upper_bound = built_in_constant#91;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#19;
element_type = entity_type#16;
lower_bound = integer_literal#92;
upper_bound = built_in_constant#92;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#20;
element_type = ?element_type;
lower_bound = ?lower;
upper_bound = ?upper;
END_INSTANCE;
INSTANCE list_type#21;
END_INSTANCE;
INSTANCE list_type#22;
END_INSTANCE;