c_src: regenerate
[nit.git] / c_src / nitc__nith.types.18.c
similarity index 64%
rename from c_src/nit__nith.types.13.c
rename to c_src/nitc__nith.types.18.c
index 5583df0..268ff70 100644 (file)
@@ -1,49 +1,21 @@
-#include "nit__nith.types.0.h"
-const struct types resolution_table_standard__NativeArray__nit__AVarExpr = {
-0, /* dummy */
-{
-&type_nit__AVarExpr, /* E: AVarExpr */
-&type_standard__NativeArray__nit__AVarExpr, /* NativeArray[E]: NativeArray[AVarExpr] */
-}
-};
-/* runtime type ArrayIterator[AVarExpr] */
-const struct type type_standard__array__ArrayIterator__nit__AVarExpr = {
--1, /*CAST DEAD*/
-"ArrayIterator[AVarExpr]", /* class_name_string */
--1, /*CAST DEAD*/
+#include "nitc__nith.types.0.h"
+/* runtime type HashMapNode[MAttribute, Int] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MAttribute__core__Int = {
+1821,
+"HashMapNode[MAttribute, Int]", /* class_name_string */
+135,
 0,
-&resolution_table_standard__array__ArrayIterator__nit__AVarExpr,
-9,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MAttribute__core__Int,
+152,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__nit__AVarExpr = {
-0, /* dummy */
-{
-&type_standard__Array__nit__AVarExpr, /* Array[E]: Array[AVarExpr] */
-&type_standard__AbstractArrayRead__nit__AVarExpr, /* AbstractArrayRead[E]: AbstractArrayRead[AVarExpr] */
-}
-};
-/* runtime type HashMapKeys[EscapeMark, String] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__EscapeMark__standard__String = {
--1, /*CAST DEAD*/
-"HashMapKeys[EscapeMark, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__EscapeMark__standard__String,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -78,7 +50,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -92,9 +63,12 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2806, /* nullable HashMapNode[PropertyLayoutElement, Int] */
 -1, /* empty */
+2808, /* nullable HashMapNode[MAttribute, Int] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -141,7 +115,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2400, /* Collection[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -165,32 +138,13 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__EscapeMark__standard__String, /* HashMap[K, V]: HashMap[EscapeMark, String] */
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__MapKeysIterator__nit__EscapeMark__standard__String, /* MapKeysIterator[K, V]: MapKeysIterator[EscapeMark, String] */
-}
-};
-/* runtime type HashMapValues[EscapeMark, String] */
-const struct type type_standard__hash_collection__HashMapValues__nit__EscapeMark__standard__String = {
--1, /*CAST DEAD*/
-"HashMapValues[EscapeMark, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__EscapeMark__standard__String,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
+1808, /* HashMapNode[PropertyLayoutElement, Int] */
 -1, /* empty */
+1821, /* HashMapNode[MAttribute, Int] */
 -1, /* empty */
-2306, /* Collection[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -206,6 +160,26 @@ const struct type type_standard__hash_collection__HashMapValues__nit__EscapeMark
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MAttribute__core__Int = {
+0, /* dummy */
+{
+&type_core__Int, /* V: Int */
+&type_nitc__MAttribute, /* K: MAttribute */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MAttribute, Int]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MAttribute__core__Int = {
+1822,
+"NativeArray[nullable HashMapNode[MAttribute, Int]]", /* class_name_string */
+207,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MAttribute__core__Int,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -221,13 +195,11 @@ const struct type type_standard__hash_collection__HashMapValues__nit__EscapeMark
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2343, /* Collection[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -309,27 +281,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__EscapeMark
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__EscapeMark__standard__String, /* HashMap[K, V]: HashMap[EscapeMark, String] */
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__MapValuesIterator__nit__EscapeMark__standard__String, /* MapValuesIterator[K, V]: MapValuesIterator[EscapeMark, String] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[EscapeMark, String]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String = {
-1443,
-"NativeArray[nullable HashMapNode[EscapeMark, String]]", /* class_name_string */
-182,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -340,6 +291,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -428,9 +380,12 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
+1809, /* NativeArray[nullable HashMapNode[PropertyLayoutElement, Int]] */
 -1, /* empty */
+1822, /* NativeArray[nullable HashMapNode[MAttribute, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -449,6 +404,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MAttribute__core__Int = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MAttribute__core__Int, /* E: nullable HashMapNode[MAttribute, Int] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MAttribute__core__Int, /* NativeArray[E]: NativeArray[nullable HashMapNode[MAttribute, Int]] */
+}
+};
+/* runtime type NativeArray[nullable MAttribute] */
+const struct type type_core__NativeArray__nullable__nitc__MAttribute = {
+1823,
+"NativeArray[nullable MAttribute]", /* class_name_string */
+69,
+0,
+&resolution_table_core__NativeArray__nullable__nitc__MAttribute,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -492,7 +467,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1299, /* NativeArray[nullable HashMapNode[Object, String]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -510,13 +484,14 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1443, /* NativeArray[nullable HashMapNode[EscapeMark, String]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1815, /* NativeArray[nullable PropertyLayoutElement] */
+1823, /* NativeArray[nullable MAttribute] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -547,26 +522,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String, /* E: nullable HashMapNode[EscapeMark, String] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String, /* NativeArray[E]: NativeArray[nullable HashMapNode[EscapeMark, String]] */
-}
-};
-/* runtime type HashMapIterator[EscapeMark, String] */
-const struct type type_standard__HashMapIterator__nit__EscapeMark__standard__String = {
--1, /*CAST DEAD*/
-"HashMapIterator[EscapeMark, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__EscapeMark__standard__String,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -580,12 +535,14 @@ const struct type type_standard__HashMapIterator__nit__EscapeMark__standard__Str
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2177, /* NativeArray[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -596,7 +553,6 @@ const struct type type_standard__HashMapIterator__nit__EscapeMark__standard__Str
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2575, /* MapIterator[Object, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -607,7 +563,6 @@ const struct type type_standard__HashMapIterator__nit__EscapeMark__standard__Str
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2586, /* MapIterator[EscapeMark, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -642,25 +597,6 @@ const struct type type_standard__HashMapIterator__nit__EscapeMark__standard__Str
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__EscapeMark__standard__String, /* HashMap[K, V]: HashMap[EscapeMark, String] */
-}
-};
-/* runtime type HashMapNode[EscapeMark, String] */
-const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String = {
-1445,
-"HashMapNode[EscapeMark, String]", /* class_name_string */
-114,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -689,7 +625,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2251, /* nullable HashMapNode[Object, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -700,7 +635,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2269, /* nullable HashMapNode[EscapeMark, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -714,6 +648,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__nitc__MAttribute = {
+0, /* dummy */
+{
+&type_nullable__nitc__MAttribute, /* E: nullable MAttribute */
+&type_core__NativeArray__nullable__nitc__MAttribute, /* NativeArray[E]: NativeArray[nullable MAttribute] */
+}
+};
+/* runtime type ArrayIterator[nullable MAttribute] */
+const struct type type_core__array__ArrayIterator__nullable__nitc__MAttribute = {
+-1, /*CAST DEAD*/
+"ArrayIterator[nullable MAttribute]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nullable__nitc__MAttribute,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -723,6 +677,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nullable__nitc__MAttribute = {
+0, /* dummy */
+{
+&type_core__Array__nullable__nitc__MAttribute, /* Array[E]: Array[nullable MAttribute] */
+&type_core__AbstractArrayRead__nullable__nitc__MAttribute, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MAttribute] */
+}
+};
+/* runtime type ArrayReverseIterator[nullable MAttribute] */
+const struct type type_core__array__ArrayReverseIterator__nullable__nitc__MAttribute = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[nullable MAttribute]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MAttribute,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -732,6 +706,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MAttribute = {
+0, /* dummy */
+{
+&type_core__Array__nullable__nitc__MAttribute, /* Array[E]: Array[nullable MAttribute] */
+&type_core__AbstractArrayRead__nullable__nitc__MAttribute, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MAttribute] */
+}
+};
+/* runtime type HashMapKeys[MClass, POSetElement[MClass]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MClass__poset__POSetElement__nitc__MClass = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MClass, POSetElement[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MClass__poset__POSetElement__nitc__MClass,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -742,6 +736,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2409, /* Collection[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -762,18 +757,18 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1301, /* HashMapNode[Object, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2437, /* Collection[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1445, /* HashMapNode[EscapeMark, String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -807,26 +802,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__EscapeMark__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__String, /* V: String */
-&type_nit__EscapeMark, /* K: EscapeMark */
-}
-};
-/* runtime type HashMapKeys[MClass, Array[MType]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClass, Array[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -837,7 +812,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2313, /* Collection[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -861,11 +835,10 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2341, /* Collection[nullable MClass] */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -880,6 +853,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClass__poset__POSetElement__nitc__MClass, /* HashMap[K, V]: HashMap[MClass, POSetElement[MClass]] */
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapKeysIterator__nitc__MClass__poset__POSetElement__nitc__MClass, /* MapKeysIterator[K, V]: MapKeysIterator[MClass, POSetElement[MClass]] */
+}
+};
+/* runtime type HashMapValues[MClass, POSetElement[MClass]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MClass__poset__POSetElement__nitc__MClass = {
+-1, /*CAST DEAD*/
+"HashMapValues[MClass, POSetElement[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MClass__poset__POSetElement__nitc__MClass,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -914,6 +908,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -949,27 +944,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Array__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[MType]] */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapKeysIterator__nit__MClass__standard__Array__nit__MType, /* MapKeysIterator[K, V]: MapKeysIterator[MClass, Array[MType]] */
-}
-};
-/* runtime type HashMapValues[MClass, Array[MType]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapValues[MClass, Array[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1004,7 +978,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1013,8 +986,10 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2514, /* Collection[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1026,6 +1001,27 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClass__poset__POSetElement__nitc__MClass, /* HashMap[K, V]: HashMap[MClass, POSetElement[MClass]] */
+&type_core__Array__poset__POSetElement__nitc__MClass, /* Array[E]: Array[POSetElement[MClass]] */
+&type_core__MapValuesIterator__nitc__MClass__poset__POSetElement__nitc__MClass, /* MapValuesIterator[K, V]: MapValuesIterator[MClass, POSetElement[MClass]] */
+}
+};
+/* runtime type HashMapIterator[MClass, POSetElement[MClass]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MClass, POSetElement[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MClass__poset__POSetElement__nitc__MClass,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1053,10 +1049,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2386, /* Collection[Array[MType]] */
 -1, /* empty */
 -1, /* empty */
-2389, /* Collection[Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1077,42 +1071,22 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2713, /* MapIterator[MClass, POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Array__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[MType]] */
-&type_standard__Array__standard__Array__nit__MType, /* Array[E]: Array[Array[MType]] */
-&type_standard__MapValuesIterator__nit__MClass__standard__Array__nit__MType, /* MapValuesIterator[K, V]: MapValuesIterator[MClass, Array[MType]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MClass, Array[MType]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType = {
-1448,
-"NativeArray[nullable HashMapNode[MClass, Array[MType]]]", /* class_name_string */
-183,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1125,6 +1099,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClass__poset__POSetElement__nitc__MClass, /* HashMap[K, V]: HashMap[MClass, POSetElement[MClass]] */
+}
+};
+/* runtime type HashMapNode[MClass, POSetElement[MClass]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass = {
+1829,
+"HashMapNode[MClass, POSetElement[MClass]]", /* class_name_string */
+136,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1176,11 +1171,13 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2809, /* nullable HashMapNode[MClass, POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1249,11 +1246,13 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1829, /* HashMapNode[MClass, POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1269,6 +1268,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MClass, /* V: POSetElement[MClass] */
+&type_nitc__MClass, /* K: MClass */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MClass, POSetElement[MClass]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass = {
+1830,
+"NativeArray[nullable HashMapNode[MClass, POSetElement[MClass]]]", /* class_name_string */
+208,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1294,9 +1313,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1448, /* NativeArray[nullable HashMapNode[MClass, Array[MType]]] */
 -1, /* empty */
-1460, /* NativeArray[nullable HashMapNode[MClass, Array[nullable MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1306,7 +1323,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1635, /* NativeArray[nullable HashMapNode[Object, Array[Object]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1330,26 +1346,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType, /* E: nullable HashMapNode[MClass, Array[MType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClass, Array[MType]]] */
-}
-};
-/* runtime type HashMapIterator[MClass, Array[MType]] */
-const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapIterator[MClass, Array[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MClass__standard__Array__nit__MType,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1391,9 +1387,7 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2587, /* MapIterator[MClass, Array[MType]] */
 -1, /* empty */
-2589, /* MapIterator[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1403,9 +1397,9 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2599, /* MapIterator[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1425,25 +1419,6 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Array__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[MType]] */
-}
-};
-/* runtime type HashMapNode[MClass, Array[MType]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType = {
-1450,
-"HashMapNode[MClass, Array[MType]]", /* class_name_string */
-115,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1484,9 +1459,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2270, /* nullable HashMapNode[MClass, Array[MType]] */
 -1, /* empty */
-2272, /* nullable HashMapNode[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1495,7 +1468,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2282, /* nullable HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1516,11 +1488,13 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1830, /* NativeArray[nullable HashMapNode[MClass, POSetElement[MClass]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1538,6 +1512,27 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass, /* E: nullable HashMapNode[MClass, POSetElement[MClass]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClass__poset__POSetElement__nitc__MClass, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClass, POSetElement[MClass]]] */
+}
+};
+/* runtime type MapKeysIterator[MClass, Array[nullable MClass]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MClass = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, Array[nullable MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1546,6 +1541,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__core__Array__nullable__nitc__MClass, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MClass]] */
+}
+};
+/* runtime type Array[Array[nullable MClass]] */
+const struct type type_core__Array__core__Array__nullable__nitc__MClass = {
+1832,
+"Array[Array[nullable MClass]]", /* class_name_string */
+485,
+0,
+&resolution_table_core__Array__core__Array__nullable__nitc__MClass,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1557,9 +1572,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1450, /* HashMapNode[MClass, Array[MType]] */
 -1, /* empty */
-1462, /* HashMapNode[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1568,7 +1581,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1637, /* HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1583,6 +1595,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1590,26 +1603,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MType, /* V: Array[MType] */
-&type_nit__MClass, /* K: MClass */
-}
-};
-/* runtime type NativeArray[nullable MType] */
-const struct type type_standard__NativeArray__nullable__nit__MType = {
-1451,
-"NativeArray[nullable MType]", /* class_name_string */
-46,
-0,
-&resolution_table_standard__NativeArray__nullable__nit__MType,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1654,7 +1647,6 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1451, /* NativeArray[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1669,6 +1661,7 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2499, /* Collection[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1680,6 +1673,7 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1694,6 +1688,8 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1726,6 +1722,7 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1793,6 +1790,7 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2625, /* AbstractArrayRead[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1804,6 +1802,7 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1827,26 +1826,6 @@ const struct type type_standard__NativeArray__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_nullable__nit__MType, /* E: nullable MType */
-&type_standard__NativeArray__nullable__nit__MType, /* NativeArray[E]: NativeArray[nullable MType] */
-}
-};
-/* runtime type ArrayIterator[nullable MType] */
-const struct type type_standard__array__ArrayIterator__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"ArrayIterator[nullable MType]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__nullable__nit__MType,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1854,26 +1833,6 @@ const struct type type_standard__array__ArrayIterator__nullable__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nullable__nit__MType, /* Array[E]: Array[nullable MType] */
-&type_standard__AbstractArrayRead__nullable__nit__MType, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MType] */
-}
-};
-/* runtime type HashMapKeys[MClass, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClass, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Set__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1884,12 +1843,12 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2313, /* Collection[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1908,11 +1867,9 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2341, /* Collection[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1959,6 +1916,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2949, /* AbstractArray[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1970,6 +1928,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1984,6 +1943,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1996,27 +1956,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MClass, Set[MType]] */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapKeysIterator__nit__MClass__standard__Set__nit__MType, /* MapKeysIterator[K, V]: MapKeysIterator[MClass, Set[MType]] */
-}
-};
-/* runtime type HashMapValues[MClass, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClass__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapValues[MClass, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Set__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2051,7 +1990,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2106,6 +2044,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1832, /* Array[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2115,7 +2054,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2401, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2131,6 +2069,40 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__core__Array__nullable__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__nullable__nitc__MClass, /* E: Array[nullable MClass] */
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__Collection__core__Array__nullable__nitc__MClass, /* Collection[E]: Collection[Array[nullable MClass]] */
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__AbstractArray__core__Array__nullable__nitc__MClass, /* AbstractArray[E]: AbstractArray[Array[nullable MClass]] */
+&type_core__NativeArray__core__Array__nullable__nitc__MClass, /* NativeArray[E]: NativeArray[Array[nullable MClass]] */
+&type_core__Array__nullable__nitc__MClass, /* E: Array[nullable MClass] */
+&type_core__Collection__core__Array__nullable__nitc__MClass, /* Collection[E]: Collection[Array[nullable MClass]] */
+&type_core__Array__nullable__nitc__MClass, /* E: Array[nullable MClass] */
+&type_core__Collection__core__Array__nullable__nitc__MClass, /* Collection[E]: Collection[Array[nullable MClass]] */
+&type_core__Collection__core__Array__nullable__nitc__MClass, /* Collection[E]: Collection[Array[nullable MClass]] */
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__AbstractArray__core__Array__nullable__nitc__MClass, /* AbstractArray[E]: AbstractArray[Array[nullable MClass]] */
+&type_core__array__ArrayIterator__core__Array__nullable__nitc__MClass, /* ArrayIterator[E]: ArrayIterator[Array[nullable MClass]] */
+&type_core__array__ArrayReverseIterator__core__Array__nullable__nitc__MClass, /* ArrayReverseIterator[E]: ArrayReverseIterator[Array[nullable MClass]] */
+}
+};
+/* runtime type MapValuesIterator[MClass, Array[nullable MClass]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MClass = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, Array[nullable MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2141,38 +2113,54 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Set__nit__MType = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MClass = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClass__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MClass, Set[MType]] */
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__MapValuesIterator__nit__MClass__standard__Set__nit__MType, /* MapValuesIterator[K, V]: MapValuesIterator[MClass, Set[MType]] */
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__MapIterator__nitc__MClass__core__Array__nullable__nitc__MClass, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MClass]] */
 }
 };
-/* runtime type NativeArray[nullable HashMapNode[MClass, Set[MType]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType = {
-1455,
-"NativeArray[nullable HashMapNode[MClass, Set[MType]]]", /* class_name_string */
-184,
+/* runtime type MapKeysIterator[String, ConfigNode] */
+const struct type type_core__MapKeysIterator__core__String__ini__ConfigNode = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[String, ConfigNode]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType,
-219,
+&resolution_table_core__MapKeysIterator__core__String__ini__ConfigNode,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
+2828, /* Iterator[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__core__String__ini__ConfigNode = {
+0, /* dummy */
+{
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__MapIterator__core__String__ini__ConfigNode, /* MapIterator[K, V]: MapIterator[String, ConfigNode] */
+}
+};
+/* runtime type MapValuesIterator[String, ConfigNode] */
+const struct type type_core__MapValuesIterator__core__String__ini__ConfigNode = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[String, ConfigNode]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__core__String__ini__ConfigNode,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2181,6 +2169,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__core__String__ini__ConfigNode = {
+0, /* dummy */
+{
+&type_core__Array__ini__ConfigNode, /* Array[E]: Array[ConfigNode] */
+&type_core__MapIterator__core__String__ini__ConfigNode, /* MapIterator[K, V]: MapIterator[String, ConfigNode] */
+}
+};
+/* runtime type NativeArray[TId] */
+const struct type type_core__NativeArray__nitc__TId = {
+1836,
+"NativeArray[TId]", /* class_name_string */
+70,
+0,
+&resolution_table_core__NativeArray__nitc__TId,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2212,6 +2220,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2219,6 +2228,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1495, /* NativeArray[Token] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2239,6 +2249,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2246,6 +2257,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1836, /* NativeArray[TId] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2288,6 +2300,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2342,7 +2355,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1455, /* NativeArray[nullable HashMapNode[MClass, Set[MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2377,26 +2389,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType, /* E: nullable HashMapNode[MClass, Set[MType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClass, Set[MType]]] */
-}
-};
-/* runtime type HashMapIterator[MClass, Set[MType]] */
-const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapIterator[MClass, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MClass__standard__Set__nit__MType,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2421,6 +2413,27 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__TId = {
+0, /* dummy */
+{
+&type_nitc__TId, /* E: TId */
+&type_core__NativeArray__nitc__TId, /* NativeArray[E]: NativeArray[TId] */
+}
+};
+/* runtime type ArrayIterator[TId] */
+const struct type type_core__array__ArrayIterator__nitc__TId = {
+-1, /*CAST DEAD*/
+"ArrayIterator[TId]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__TId,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2429,6 +2442,27 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__TId = {
+0, /* dummy */
+{
+&type_core__Array__nitc__TId, /* Array[E]: Array[TId] */
+&type_core__AbstractArrayRead__nitc__TId, /* AbstractArrayRead[E]: AbstractArrayRead[TId] */
+}
+};
+/* runtime type ArrayReverseIterator[TId] */
+const struct type type_core__array__ArrayReverseIterator__nitc__TId = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[TId]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__TId,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2437,15 +2471,56 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__TId = {
+0, /* dummy */
+{
+&type_core__Array__nitc__TId, /* Array[E]: Array[TId] */
+&type_core__AbstractArrayRead__nitc__TId, /* AbstractArrayRead[E]: AbstractArrayRead[TId] */
+}
+};
+/* runtime type MapKeysIterator[MClass, AClassdef] */
+const struct type type_core__MapKeysIterator__nitc__MClass__nitc__AClassdef = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, AClassdef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__nitc__AClassdef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-2588, /* MapIterator[MClass, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__nitc__AClassdef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__nitc__AClassdef, /* MapIterator[K, V]: MapIterator[MClass, AClassdef] */
+}
+};
+/* runtime type MapValuesIterator[MClass, AClassdef] */
+const struct type type_core__MapValuesIterator__nitc__MClass__nitc__AClassdef = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, AClassdef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__nitc__AClassdef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2454,6 +2529,26 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__nitc__AClassdef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AClassdef, /* Array[E]: Array[AClassdef] */
+&type_core__MapIterator__nitc__MClass__nitc__AClassdef, /* MapIterator[K, V]: MapIterator[MClass, AClassdef] */
+}
+};
+/* runtime type NativeArray[AType] */
+const struct type type_core__NativeArray__nitc__AType = {
+1841,
+"NativeArray[AType]", /* class_name_string */
+71,
+0,
+&resolution_table_core__NativeArray__nitc__AType,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2472,25 +2567,6 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Set__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MClass, Set[MType]] */
-}
-};
-/* runtime type HashMapNode[MClass, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType = {
-1457,
-"HashMapNode[MClass, Set[MType]]", /* class_name_string */
-116,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2504,12 +2580,14 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1492, /* NativeArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2531,8 +2609,8 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
-2271, /* nullable HashMapNode[MClass, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2540,6 +2618,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1841, /* NativeArray[AType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2581,6 +2660,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2605,7 +2685,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1457, /* HashMapNode[MClass, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2637,26 +2716,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Set__nit__MType, /* V: Set[MType] */
-&type_nit__MClass, /* K: MClass */
-}
-};
-/* runtime type HashMapKeys[MClass, Array[nullable MType]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClass, Array[nullable MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nullable__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2667,7 +2726,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2313, /* Collection[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2691,11 +2749,9 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2341, /* Collection[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2717,6 +2773,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__AType = {
+0, /* dummy */
+{
+&type_nitc__AType, /* E: AType */
+&type_core__NativeArray__nitc__AType, /* NativeArray[E]: NativeArray[AType] */
+}
+};
+/* runtime type ArrayIterator[AType] */
+const struct type type_core__array__ArrayIterator__nitc__AType = {
+-1, /*CAST DEAD*/
+"ArrayIterator[AType]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__AType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2725,6 +2802,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__AType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AType, /* Array[E]: Array[AType] */
+&type_core__AbstractArrayRead__nitc__AType, /* AbstractArrayRead[E]: AbstractArrayRead[AType] */
+}
+};
+/* runtime type ArrayReverseIterator[AType] */
+const struct type type_core__array__ArrayReverseIterator__nitc__AType = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[AType]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__AType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2733,13 +2831,56 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__AType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AType, /* Array[E]: Array[AType] */
+&type_core__AbstractArrayRead__nitc__AType, /* AbstractArrayRead[E]: AbstractArrayRead[AType] */
+}
+};
+/* runtime type MapKeysIterator[String, Variable] */
+const struct type type_core__MapKeysIterator__core__String__nitc__Variable = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[String, Variable]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__core__String__nitc__Variable,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
+2828, /* Iterator[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__core__String__nitc__Variable = {
+0, /* dummy */
+{
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__MapIterator__core__String__nitc__Variable, /* MapIterator[K, V]: MapIterator[String, Variable] */
+}
+};
+/* runtime type MapValuesIterator[String, Variable] */
+const struct type type_core__MapValuesIterator__core__String__nitc__Variable = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[String, Variable]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__core__String__nitc__Variable,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2748,6 +2889,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__core__String__nitc__Variable = {
+0, /* dummy */
+{
+&type_core__Array__nitc__Variable, /* Array[E]: Array[Variable] */
+&type_core__MapIterator__core__String__nitc__Variable, /* MapIterator[K, V]: MapIterator[String, Variable] */
+}
+};
+/* runtime type MapKeysIterator[Variable, RuntimeVariable] */
+const struct type type_core__MapKeysIterator__nitc__Variable__nitc__RuntimeVariable = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[Variable, RuntimeVariable]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__Variable__nitc__RuntimeVariable,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2756,6 +2918,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__Variable__nitc__RuntimeVariable = {
+0, /* dummy */
+{
+&type_core__Array__nitc__Variable, /* Array[E]: Array[Variable] */
+&type_core__MapIterator__nitc__Variable__nitc__RuntimeVariable, /* MapIterator[K, V]: MapIterator[Variable, RuntimeVariable] */
+}
+};
+/* runtime type MapValuesIterator[Variable, RuntimeVariable] */
+const struct type type_core__MapValuesIterator__nitc__Variable__nitc__RuntimeVariable = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[Variable, RuntimeVariable]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__Variable__nitc__RuntimeVariable,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2764,13 +2947,56 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__Variable__nitc__RuntimeVariable = {
+0, /* dummy */
+{
+&type_core__Array__nitc__RuntimeVariable, /* Array[E]: Array[RuntimeVariable] */
+&type_core__MapIterator__nitc__Variable__nitc__RuntimeVariable, /* MapIterator[K, V]: MapIterator[Variable, RuntimeVariable] */
+}
+};
+/* runtime type MapKeysIterator[MType, Int] */
+const struct type type_core__MapKeysIterator__nitc__MType__core__Int = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MType, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MType__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2831, /* Iterator[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MType__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapIterator__nitc__MType__core__Int, /* MapIterator[K, V]: MapIterator[MType, Int] */
+}
+};
+/* runtime type MapValuesIterator[MType, Int] */
+const struct type type_core__MapValuesIterator__nitc__MType__core__Int = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MType, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MType__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2781,25 +3007,24 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClass__stan
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClass__standard__Array__nullable__nit__MType = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MType__core__Int = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClass__standard__Array__nullable__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[nullable MType]] */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapKeysIterator__nit__MClass__standard__Array__nullable__nit__MType, /* MapKeysIterator[K, V]: MapKeysIterator[MClass, Array[nullable MType]] */
+&type_core__Array__core__Int, /* Array[E]: Array[Int] */
+&type_core__MapIterator__nitc__MType__core__Int, /* MapIterator[K, V]: MapIterator[MType, Int] */
 }
 };
-/* runtime type HashMapValues[MClass, Array[nullable MType]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapValues[MClass, Array[nullable MType]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[TComment] */
+const struct type type_core__NativeArray__nitc__TComment = {
+1850,
+"NativeArray[TComment]", /* class_name_string */
+72,
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nullable__nit__MType,
-124,
+&resolution_table_core__NativeArray__nitc__TComment,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2831,14 +3056,15 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1495, /* NativeArray[Token] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2859,6 +3085,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2868,6 +3095,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1850, /* NativeArray[TComment] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2886,7 +3114,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2389, /* Collection[Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2909,6 +3136,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2922,27 +3150,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClass__st
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Array__nullable__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[nullable MType]] */
-&type_standard__Array__standard__Array__nullable__nit__MType, /* Array[E]: Array[Array[nullable MType]] */
-&type_standard__MapValuesIterator__nit__MClass__standard__Array__nullable__nit__MType, /* MapValuesIterator[K, V]: MapValuesIterator[MClass, Array[nullable MType]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MClass, Array[nullable MType]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType = {
-1460,
-"NativeArray[nullable HashMapNode[MClass, Array[nullable MType]]]", /* class_name_string */
-185,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3042,6 +3249,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__TComment = {
+0, /* dummy */
+{
+&type_nitc__TComment, /* E: TComment */
+&type_core__NativeArray__nitc__TComment, /* NativeArray[E]: NativeArray[TComment] */
+}
+};
+/* runtime type ArrayIterator[TComment] */
+const struct type type_core__array__ArrayIterator__nitc__TComment = {
+-1, /*CAST DEAD*/
+"ArrayIterator[TComment]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__TComment,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3050,6 +3278,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__TComment = {
+0, /* dummy */
+{
+&type_core__Array__nitc__TComment, /* Array[E]: Array[TComment] */
+&type_core__AbstractArrayRead__nitc__TComment, /* AbstractArrayRead[E]: AbstractArrayRead[TComment] */
+}
+};
+/* runtime type ArrayReverseIterator[TComment] */
+const struct type type_core__array__ArrayReverseIterator__nitc__TComment = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[TComment]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__TComment,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3058,6 +3307,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__TComment = {
+0, /* dummy */
+{
+&type_core__Array__nitc__TComment, /* Array[E]: Array[TComment] */
+&type_core__AbstractArrayRead__nitc__TComment, /* AbstractArrayRead[E]: AbstractArrayRead[TComment] */
+}
+};
+/* runtime type Array[EscapeMark] */
+const struct type type_core__Array__nitc__EscapeMark = {
+1853,
+"Array[EscapeMark]", /* class_name_string */
+486,
+0,
+&resolution_table_core__Array__nitc__EscapeMark,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3092,6 +3361,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3126,7 +3396,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1460, /* NativeArray[nullable HashMapNode[MClass, Array[nullable MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3159,27 +3428,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2500, /* Collection[EscapeMark] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType, /* E: nullable HashMapNode[MClass, Array[nullable MType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClass, Array[nullable MType]]] */
-}
-};
-/* runtime type HashMapIterator[MClass, Array[nullable MType]] */
-const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapIterator[MClass, Array[nullable MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MClass__standard__Array__nullable__nit__MType,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3189,6 +3439,7 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3203,6 +3454,8 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3223,7 +3476,6 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2589, /* MapIterator[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3236,6 +3488,7 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3255,25 +3508,6 @@ const struct type type_standard__HashMapIterator__nit__MClass__standard__Array__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClass__standard__Array__nullable__nit__MType, /* HashMap[K, V]: HashMap[MClass, Array[nullable MType]] */
-}
-};
-/* runtime type HashMapNode[MClass, Array[nullable MType]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType = {
-1462,
-"HashMapNode[MClass, Array[nullable MType]]", /* class_name_string */
-117,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3316,7 +3550,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2272, /* nullable HashMapNode[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3324,6 +3557,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2626, /* AbstractArrayRead[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3334,6 +3568,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3379,6 +3614,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3389,7 +3625,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1462, /* HashMapNode[MClass, Array[nullable MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3420,33 +3655,11 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClass__stan
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nullable__nit__MType, /* V: Array[nullable MType] */
-&type_nit__MClass, /* K: MClass */
-}
-};
-/* runtime type HashMap[MType, Set[MType]] */
-const struct type type_standard__HashMap__nit__MType__standard__Set__nit__MType = {
-1463,
-"HashMap[MType, Set[MType]]", /* class_name_string */
-68,
-0,
-&resolution_table_standard__HashMap__nit__MType__standard__Set__nit__MType,
-83,
-{
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2644, /* Map[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3470,6 +3683,7 @@ const struct type type_standard__HashMap__nit__MType__standard__Set__nit__MType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2950, /* AbstractArray[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3480,6 +3694,7 @@ const struct type type_standard__HashMap__nit__MType__standard__Set__nit__MType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3494,172 +3709,7 @@ const struct type type_standard__HashMap__nit__MType__standard__Set__nit__MType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1463, /* HashMap[MType, Set[MType]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMap__nit__MType__standard__Set__nit__MType = {
-0, /* dummy */
-{
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__HashMapIterator__nit__MType__standard__Set__nit__MType, /* HashMapIterator[K, V]: HashMapIterator[MType, Set[MType]] */
-&type_nit__MType, /* K: MType */
-&type_standard__Set__nit__MType, /* V: Set[MType] */
-&type_standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* HashMapNode[K, V]: HashMapNode[MType, Set[MType]] */
-&type_standard__hash_collection__HashMapKeys__nit__MType__standard__Set__nit__MType, /* HashMapKeys[K, V]: HashMapKeys[MType, Set[MType]] */
-&type_standard__hash_collection__HashMapValues__nit__MType__standard__Set__nit__MType, /* HashMapValues[K, V]: HashMapValues[MType, Set[MType]] */
-NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* nullable N: nullable HashMapNode[MType, Set[MType]] */
-&type_standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* N: HashMapNode[MType, Set[MType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MType, Set[MType]]] */
-}
-};
-/* runtime type ArraySetIterator[MType] */
-const struct type type_standard__array__ArraySetIterator__nit__MType = {
--1, /*CAST DEAD*/
-"ArraySetIterator[MType]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArraySetIterator__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArraySetIterator__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__array__ArrayIterator__nit__MType, /* ArrayIterator[E]: ArrayIterator[MType] */
-}
-};
-/* runtime type NativeArray[AEscapeExpr] */
-const struct type type_standard__NativeArray__nit__AEscapeExpr = {
-1465,
-"NativeArray[AEscapeExpr]", /* class_name_string */
-47,
-0,
-&resolution_table_standard__NativeArray__nit__AEscapeExpr,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1252, /* NativeArray[Prod] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-651, /* NativeArray[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1433, /* NativeArray[AExpr] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1465, /* NativeArray[AEscapeExpr] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1620, /* NativeArray[ANode] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3761,6 +3811,7 @@ const struct type type_standard__NativeArray__nit__AEscapeExpr = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1853, /* Array[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3784,6 +3835,40 @@ const struct type type_standard__NativeArray__nit__AEscapeExpr = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__nitc__EscapeMark = {
+0, /* dummy */
+{
+&type_nitc__EscapeMark, /* E: EscapeMark */
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__Collection__nitc__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__AbstractArray__nitc__EscapeMark, /* AbstractArray[E]: AbstractArray[EscapeMark] */
+&type_core__NativeArray__nitc__EscapeMark, /* NativeArray[E]: NativeArray[EscapeMark] */
+&type_nitc__EscapeMark, /* E: EscapeMark */
+&type_core__Collection__nitc__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
+&type_nitc__EscapeMark, /* E: EscapeMark */
+&type_core__Collection__nitc__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
+&type_core__Collection__nitc__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__AbstractArray__nitc__EscapeMark, /* AbstractArray[E]: AbstractArray[EscapeMark] */
+&type_core__array__ArrayIterator__nitc__EscapeMark, /* ArrayIterator[E]: ArrayIterator[EscapeMark] */
+&type_core__array__ArrayReverseIterator__nitc__EscapeMark, /* ArrayReverseIterator[E]: ArrayReverseIterator[EscapeMark] */
+}
+};
+/* runtime type MapKeysIterator[EscapeMark, String] */
+const struct type type_core__MapKeysIterator__nitc__EscapeMark__core__String = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[EscapeMark, String]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__EscapeMark__core__String,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3794,25 +3879,27 @@ const struct type type_standard__NativeArray__nit__AEscapeExpr = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nit__AEscapeExpr = {
+const struct types resolution_table_core__MapKeysIterator__nitc__EscapeMark__core__String = {
 0, /* dummy */
 {
-&type_nit__AEscapeExpr, /* E: AEscapeExpr */
-&type_standard__NativeArray__nit__AEscapeExpr, /* NativeArray[E]: NativeArray[AEscapeExpr] */
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__MapIterator__nitc__EscapeMark__core__String, /* MapIterator[K, V]: MapIterator[EscapeMark, String] */
 }
 };
-/* runtime type ArrayIterator[AEscapeExpr] */
-const struct type type_standard__array__ArrayIterator__nit__AEscapeExpr = {
+/* runtime type MapValuesIterator[EscapeMark, String] */
+const struct type type_core__MapValuesIterator__nitc__EscapeMark__core__String = {
 -1, /*CAST DEAD*/
-"ArrayIterator[AEscapeExpr]", /* class_name_string */
+"MapValuesIterator[EscapeMark, String]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__nit__AEscapeExpr,
-9,
+&resolution_table_core__MapValuesIterator__nitc__EscapeMark__core__String,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+2828, /* Iterator[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3821,138 +3908,25 @@ const struct type type_standard__array__ArrayIterator__nit__AEscapeExpr = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__nit__AEscapeExpr = {
+const struct types resolution_table_core__MapValuesIterator__nitc__EscapeMark__core__String = {
 0, /* dummy */
 {
-&type_standard__Array__nit__AEscapeExpr, /* Array[E]: Array[AEscapeExpr] */
-&type_standard__AbstractArrayRead__nit__AEscapeExpr, /* AbstractArrayRead[E]: AbstractArrayRead[AEscapeExpr] */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__MapIterator__nitc__EscapeMark__core__String, /* MapIterator[K, V]: MapIterator[EscapeMark, String] */
 }
 };
-/* runtime type ArrayMapKeys[Int, Int] */
-const struct type type_standard__array__ArrayMapKeys__standard__Int__standard__Int = {
+/* runtime type MapKeysIterator[MClass, Array[MType]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__core__Array__nitc__MType = {
 -1, /*CAST DEAD*/
-"ArrayMapKeys[Int, Int]", /* class_name_string */
+"MapKeysIterator[MClass, Array[MType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayMapKeys__standard__Int__standard__Int,
-124,
+&resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nitc__MType,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
-2147, /* Collection[Int] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2337, /* Collection[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3963,140 +3937,25 @@ const struct type type_standard__array__ArrayMapKeys__standard__Int__standard__I
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayMapKeys__standard__Int__standard__Int = {
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nitc__MType = {
 0, /* dummy */
 {
-&type_standard__ArrayMap__standard__Int__standard__Int, /* ArrayMap[K, E]: ArrayMap[Int, Int] */
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__Int, /* K: Int */
-&type_standard__MapKeysIterator__standard__Int__standard__Int, /* MapKeysIterator[K, E]: MapKeysIterator[Int, Int] */
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__core__Array__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[MType]] */
 }
 };
-/* runtime type ArrayMapValues[Int, Int] */
-const struct type type_standard__array__ArrayMapValues__standard__Int__standard__Int = {
+/* runtime type MapValuesIterator[MClass, Array[MType]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__core__Array__nitc__MType = {
 -1, /*CAST DEAD*/
-"ArrayMapValues[Int, Int]", /* class_name_string */
+"MapValuesIterator[MClass, Array[MType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayMapValues__standard__Int__standard__Int,
-124,
+&resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nitc__MType,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
-2147, /* Collection[Int] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2337, /* Collection[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4107,191 +3966,25 @@ const struct type type_standard__array__ArrayMapValues__standard__Int__standard_
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayMapValues__standard__Int__standard__Int = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nitc__MType = {
 0, /* dummy */
 {
-&type_standard__ArrayMap__standard__Int__standard__Int, /* ArrayMap[K, E]: ArrayMap[Int, Int] */
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__MapValuesIterator__standard__Int__standard__Int, /* MapValuesIterator[K, E]: MapValuesIterator[Int, Int] */
+&type_core__Array__core__Array__nitc__MType, /* Array[E]: Array[Array[MType]] */
+&type_core__MapIterator__nitc__MClass__core__Array__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[MType]] */
 }
 };
-/* runtime type Array[Couple[Int, Int]] */
-const struct type type_standard__Array__standard__Couple__standard__Int__standard__Int = {
-1469,
-"Array[Couple[Int, Int]]", /* class_name_string */
-442,
-0,
-&resolution_table_standard__Array__standard__Couple__standard__Int__standard__Int,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2337, /* Collection[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2376, /* Collection[Couple[Int, Int]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2003, /* SequenceRead[nullable Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2457, /* AbstractArrayRead[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+/* runtime type MapKeysIterator[MClass, Set[MType]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__core__Set__nitc__MType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4300,6 +3993,26 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__core__Set__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Set[MType]] */
+}
+};
+/* runtime type Array[Set[MType]] */
+const struct type type_core__Array__core__Set__nitc__MType = {
+1859,
+"Array[Set[MType]]", /* class_name_string */
+487,
+0,
+&resolution_table_core__Array__core__Set__nitc__MType,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4321,7 +4034,6 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2497, /* AbstractArrayRead[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4335,6 +4047,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4402,7 +4115,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
+2501, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4412,6 +4125,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4426,6 +4140,8 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4442,7 +4158,6 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2721, /* AbstractArray[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4459,6 +4174,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4491,8 +4207,6 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4530,6 +4244,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2627, /* AbstractArrayRead[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4539,6 +4254,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4566,7 +4282,6 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1469, /* Array[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4585,6 +4300,7 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4614,37 +4330,6 @@ const struct type type_standard__Array__standard__Couple__standard__Int__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__Couple__standard__Int__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Couple__standard__Int__standard__Int, /* E: Couple[Int, Int] */
-&type_standard__Array__standard__Couple__standard__Int__standard__Int, /* Array[E]: Array[Couple[Int, Int]] */
-&type_standard__Collection__standard__Couple__standard__Int__standard__Int, /* Collection[E]: Collection[Couple[Int, Int]] */
-&type_standard__Array__standard__Couple__standard__Int__standard__Int, /* Array[E]: Array[Couple[Int, Int]] */
-&type_standard__NativeArray__standard__Couple__standard__Int__standard__Int, /* NativeArray[E]: NativeArray[Couple[Int, Int]] */
-&type_standard__Couple__standard__Int__standard__Int, /* E: Couple[Int, Int] */
-&type_standard__Collection__standard__Couple__standard__Int__standard__Int, /* Collection[E]: Collection[Couple[Int, Int]] */
-&type_standard__Couple__standard__Int__standard__Int, /* E: Couple[Int, Int] */
-&type_standard__Collection__standard__Couple__standard__Int__standard__Int, /* Collection[E]: Collection[Couple[Int, Int]] */
-&type_standard__Collection__standard__Couple__standard__Int__standard__Int, /* Collection[E]: Collection[Couple[Int, Int]] */
-&type_standard__Array__standard__Couple__standard__Int__standard__Int, /* Array[E]: Array[Couple[Int, Int]] */
-&type_standard__AbstractArray__standard__Couple__standard__Int__standard__Int, /* AbstractArray[E]: AbstractArray[Couple[Int, Int]] */
-&type_standard__array__ArrayIterator__standard__Couple__standard__Int__standard__Int, /* ArrayIterator[E]: ArrayIterator[Couple[Int, Int]] */
-}
-};
-/* runtime type CoupleMapIterator[Int, Int] */
-const struct type type_standard__abstract_collection__CoupleMapIterator__standard__Int__standard__Int = {
--1, /*CAST DEAD*/
-"CoupleMapIterator[Int, Int]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__abstract_collection__CoupleMapIterator__standard__Int__standard__Int,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4685,16 +4370,17 @@ const struct type type_standard__abstract_collection__CoupleMapIterator__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2951, /* AbstractArray[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2590, /* MapIterator[Int, Int] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4709,6 +4395,7 @@ const struct type type_standard__abstract_collection__CoupleMapIterator__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4720,70 +4407,9 @@ const struct type type_standard__abstract_collection__CoupleMapIterator__standar
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__abstract_collection__CoupleMapIterator__standard__Int__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Iterator__standard__Couple__standard__Int__standard__Int, /* Iterator[Couple[K, V]]: Iterator[Couple[Int, Int]] */
-}
-};
-/* runtime type Couple[Int, Int] */
-const struct type type_standard__Couple__standard__Int__standard__Int = {
-1471,
-"Couple[Int, Int]", /* class_name_string */
-3,
-0,
-&resolution_table_standard__Couple__standard__Int__standard__Int,
-4,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
-1471, /* Couple[Int, Int] */
-},
-};
-const struct types resolution_table_standard__Couple__standard__Int__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Int, /* F: Int */
-&type_standard__Int, /* S: Int */
-}
-};
-/* runtime type HashSetIterator[FlowContext] */
-const struct type type_standard__hash_collection__HashSetIterator__nit__FlowContext = {
--1, /*CAST DEAD*/
-"HashSetIterator[FlowContext]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashSetIterator__nit__FlowContext,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashSetIterator__nit__FlowContext = {
-0, /* dummy */
-{
-&type_standard__Array__nit__FlowContext, /* Array[E]: Array[FlowContext] */
-&type_standard__HashSet__nit__FlowContext, /* HashSet[E]: HashSet[FlowContext] */
-}
-};
-/* runtime type NativeArray[nullable HashSetNode[FlowContext]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__FlowContext = {
-1473,
-"NativeArray[nullable HashSetNode[FlowContext]]", /* class_name_string */
-186,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__FlowContext,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4872,6 +4498,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1859, /* Array[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4894,6 +4521,40 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Set__nitc__MType, /* E: Set[MType] */
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__Collection__core__Set__nitc__MType, /* Collection[E]: Collection[Set[MType]] */
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__AbstractArray__core__Set__nitc__MType, /* AbstractArray[E]: AbstractArray[Set[MType]] */
+&type_core__NativeArray__core__Set__nitc__MType, /* NativeArray[E]: NativeArray[Set[MType]] */
+&type_core__Set__nitc__MType, /* E: Set[MType] */
+&type_core__Collection__core__Set__nitc__MType, /* Collection[E]: Collection[Set[MType]] */
+&type_core__Set__nitc__MType, /* E: Set[MType] */
+&type_core__Collection__core__Set__nitc__MType, /* Collection[E]: Collection[Set[MType]] */
+&type_core__Collection__core__Set__nitc__MType, /* Collection[E]: Collection[Set[MType]] */
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__AbstractArray__core__Set__nitc__MType, /* AbstractArray[E]: AbstractArray[Set[MType]] */
+&type_core__array__ArrayIterator__core__Set__nitc__MType, /* ArrayIterator[E]: ArrayIterator[Set[MType]] */
+&type_core__array__ArrayReverseIterator__core__Set__nitc__MType, /* ArrayReverseIterator[E]: ArrayReverseIterator[Set[MType]] */
+}
+};
+/* runtime type MapValuesIterator[MClass, Set[MType]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__core__Set__nitc__MType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4902,6 +4563,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__MapIterator__nitc__MClass__core__Set__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Set[MType]] */
+}
+};
+/* runtime type MapKeysIterator[MClass, Array[nullable MType]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, Array[nullable MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4910,6 +4592,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__core__Array__nullable__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__core__Array__nullable__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MType]] */
+}
+};
+/* runtime type MapValuesIterator[MClass, Array[nullable MType]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, Array[nullable MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4918,6 +4621,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__core__Array__nullable__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nullable__nitc__MType, /* Array[E]: Array[Array[nullable MType]] */
+&type_core__MapIterator__nitc__MClass__core__Array__nullable__nitc__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MType]] */
+}
+};
+/* runtime type HashMapKeys[MType, Set[MType]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MType__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MType, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Set__nitc__MType,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4933,7 +4656,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1211, /* NativeArray[nullable HashSetNode[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4945,6 +4667,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4952,6 +4675,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4962,13 +4686,13 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1473, /* NativeArray[nullable HashSetNode[FlowContext]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5001,26 +4725,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__FlowContext = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashSetNode__nit__FlowContext, /* E: nullable HashSetNode[FlowContext] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__FlowContext, /* NativeArray[E]: NativeArray[nullable HashSetNode[FlowContext]] */
-}
-};
-/* runtime type HashSetNode[FlowContext] */
-const struct type type_standard__hash_collection__HashSetNode__nit__FlowContext = {
-1474,
-"HashSetNode[FlowContext]", /* class_name_string */
-45,
-0,
-&resolution_table_standard__hash_collection__HashSetNode__nit__FlowContext,
-48,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5031,7 +4735,6 @@ const struct type type_standard__hash_collection__HashSetNode__nit__FlowContext
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2238, /* nullable HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5041,7 +4744,6 @@ const struct type type_standard__hash_collection__HashSetNode__nit__FlowContext
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2273, /* nullable HashSetNode[FlowContext] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5051,10 +4753,10 @@ const struct type type_standard__hash_collection__HashSetNode__nit__FlowContext
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1212, /* HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5064,70 +4766,29 @@ const struct type type_standard__hash_collection__HashSetNode__nit__FlowContext
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1474, /* HashSetNode[FlowContext] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashSetNode__nit__FlowContext = {
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Set__nitc__MType = {
 0, /* dummy */
 {
-NULL, /* empty */
-&type_nit__FlowContext, /* K: FlowContext */
+&type_core__HashMap__nitc__MType__core__Set__nitc__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapKeysIterator__nitc__MType__core__Set__nitc__MType, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Set[MType]] */
 }
 };
-/* runtime type ArraySetIterator[MMethodDef] */
-const struct type type_standard__array__ArraySetIterator__nit__MMethodDef = {
+/* runtime type HashMapValues[MType, Set[MType]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MType__core__Set__nitc__MType = {
 -1, /*CAST DEAD*/
-"ArraySetIterator[MMethodDef]", /* class_name_string */
+"HashMapValues[MType, Set[MType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArraySetIterator__nit__MMethodDef,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArraySetIterator__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MMethodDef, /* Array[E]: Array[MMethodDef] */
-&type_standard__array__ArrayIterator__nit__MMethodDef, /* ArrayIterator[E]: ArrayIterator[MMethodDef] */
-}
-};
-/* runtime type NativeArray[Char] */
-const struct type type_standard__NativeArray__standard__Char = {
-1476,
-"NativeArray[Char]", /* class_name_string */
-48,
-0,
-&resolution_table_standard__NativeArray__standard__Char,
-219,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Set__nitc__MType,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5142,7 +4803,6 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5156,11 +4816,6 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1476, /* NativeArray[Char] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5168,6 +4823,7 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5235,6 +4891,7 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2501, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5244,6 +4901,7 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5258,6 +4916,27 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Set__nitc__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__MapValuesIterator__nitc__MType__core__Set__nitc__MType, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Set[MType]] */
+}
+};
+/* runtime type HashMapIterator[MType, Set[MType]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MType__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MType, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Set__nitc__MType,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5313,12 +4992,14 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2714, /* MapIterator[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5327,27 +5008,6 @@ const struct type type_standard__NativeArray__standard__Char = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Char = {
-0, /* dummy */
-{
-&type_standard__Char, /* E: Char */
-&type_standard__NativeArray__standard__Char, /* NativeArray[E]: NativeArray[Char] */
-}
-};
-/* runtime type ArrayIterator[Char] */
-const struct type type_standard__array__ArrayIterator__standard__Char = {
--1, /*CAST DEAD*/
-"ArrayIterator[Char]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Char,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5356,24 +5016,23 @@ const struct type type_standard__array__ArrayIterator__standard__Char = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__standard__Char = {
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Set__nitc__MType = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Char, /* Array[E]: Array[Char] */
-&type_standard__AbstractArrayRead__standard__Char, /* AbstractArrayRead[E]: AbstractArrayRead[Char] */
+&type_core__HashMap__nitc__MType__core__Set__nitc__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
 }
 };
-/* runtime type Array[SourceFile] */
-const struct type type_standard__Array__nit__SourceFile = {
-1478,
-"Array[SourceFile]", /* class_name_string */
-443,
+/* runtime type HashMapNode[MType, Set[MType]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType = {
+1866,
+"HashMapNode[MType, Set[MType]]", /* class_name_string */
+137,
 0,
-&resolution_table_standard__Array__nit__SourceFile,
-490,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType,
+152,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5408,7 +5067,6 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5428,12 +5086,14 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2810, /* nullable HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5448,7 +5108,6 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2377, /* Collection[SourceFile] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5496,23 +5155,20 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1866, /* HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5527,9 +5183,28 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Set__nitc__MType, /* V: Set[MType] */
+&type_nitc__MType, /* K: MType */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MType, Set[MType]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType = {
+1867,
+"NativeArray[nullable HashMapNode[MType, Set[MType]]]", /* class_name_string */
+209,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5570,7 +5245,6 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2498, /* AbstractArrayRead[SourceFile] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5640,6 +5314,7 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5650,7 +5325,6 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5691,7 +5365,6 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2722, /* AbstractArray[SourceFile] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5730,17 +5403,17 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1867, /* NativeArray[nullable HashMapNode[MType, Set[MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5754,6 +5427,26 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType, /* E: nullable HashMapNode[MType, Set[MType]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Set__nitc__MType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Set[MType]]] */
+}
+};
+/* runtime type NativeArray[AParam] */
+const struct type type_core__NativeArray__nitc__AParam = {
+1868,
+"NativeArray[AParam]", /* class_name_string */
+73,
+0,
+&resolution_table_core__NativeArray__nitc__AParam,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5785,12 +5478,14 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1492, /* NativeArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5812,10 +5507,10 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1478, /* Array[SourceFile] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5823,6 +5518,7 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1868, /* NativeArray[AParam] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5862,136 +5558,21 @@ const struct type type_standard__Array__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__nit__SourceFile = {
-0, /* dummy */
-{
-&type_nit__SourceFile, /* E: SourceFile */
-&type_standard__Array__nit__SourceFile, /* Array[E]: Array[SourceFile] */
-&type_standard__Collection__nit__SourceFile, /* Collection[E]: Collection[SourceFile] */
-&type_standard__Array__nit__SourceFile, /* Array[E]: Array[SourceFile] */
-&type_standard__NativeArray__nit__SourceFile, /* NativeArray[E]: NativeArray[SourceFile] */
-&type_nit__SourceFile, /* E: SourceFile */
-&type_standard__Collection__nit__SourceFile, /* Collection[E]: Collection[SourceFile] */
-&type_nit__SourceFile, /* E: SourceFile */
-&type_standard__Collection__nit__SourceFile, /* Collection[E]: Collection[SourceFile] */
-&type_standard__Collection__nit__SourceFile, /* Collection[E]: Collection[SourceFile] */
-&type_standard__Array__nit__SourceFile, /* Array[E]: Array[SourceFile] */
-&type_standard__AbstractArray__nit__SourceFile, /* AbstractArray[E]: AbstractArray[SourceFile] */
-&type_standard__array__ArrayIterator__nit__SourceFile, /* ArrayIterator[E]: ArrayIterator[SourceFile] */
-}
-};
-/* runtime type MapKeysIterator[SourceFile, Array[String]] */
-const struct type type_standard__MapKeysIterator__nit__SourceFile__standard__Array__standard__String = {
--1, /*CAST DEAD*/
-"MapKeysIterator[SourceFile, Array[String]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__SourceFile__standard__Array__standard__String,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__SourceFile__standard__Array__standard__String = {
-0, /* dummy */
-{
-&type_standard__Array__nit__SourceFile, /* Array[E]: Array[SourceFile] */
-&type_standard__MapIterator__nit__SourceFile__standard__Array__standard__String, /* MapIterator[K, V]: MapIterator[SourceFile, Array[String]] */
-}
-};
-/* runtime type MapValuesIterator[SourceFile, Array[String]] */
-const struct type type_standard__MapValuesIterator__nit__SourceFile__standard__Array__standard__String = {
--1, /*CAST DEAD*/
-"MapValuesIterator[SourceFile, Array[String]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__SourceFile__standard__Array__standard__String,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__SourceFile__standard__Array__standard__String = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__standard__String, /* Array[E]: Array[Array[String]] */
-&type_standard__MapIterator__nit__SourceFile__standard__Array__standard__String, /* MapIterator[K, V]: MapIterator[SourceFile, Array[String]] */
-}
-};
-/* runtime type MapKeysIterator[String, Option] */
-const struct type type_standard__MapKeysIterator__standard__String__opts__Option = {
--1, /*CAST DEAD*/
-"MapKeysIterator[String, Option]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__standard__String__opts__Option,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__standard__String__opts__Option = {
-0, /* dummy */
-{
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__MapIterator__standard__String__opts__Option, /* MapIterator[K, V]: MapIterator[String, Option] */
-}
-};
-/* runtime type MapValuesIterator[String, Option] */
-const struct type type_standard__MapValuesIterator__standard__String__opts__Option = {
--1, /*CAST DEAD*/
-"MapValuesIterator[String, Option]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__standard__String__opts__Option,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__standard__String__opts__Option = {
-0, /* dummy */
-{
-&type_standard__Array__opts__Option, /* Array[E]: Array[Option] */
-&type_standard__MapIterator__standard__String__opts__Option, /* MapIterator[K, V]: MapIterator[String, Option] */
-}
-};
-/* runtime type HashMapKeys[Phase, POSetElement[Phase]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__poset__POSetElement__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapKeys[Phase, POSetElement[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__Phase__poset__POSetElement__nit__Phase,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2309, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6019,7 +5600,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6091,6 +5671,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__AParam = {
+0, /* dummy */
+{
+&type_nitc__AParam, /* E: AParam */
+&type_core__NativeArray__nitc__AParam, /* NativeArray[E]: NativeArray[AParam] */
+}
+};
+/* runtime type ArrayIterator[AParam] */
+const struct type type_core__array__ArrayIterator__nitc__AParam = {
+-1, /*CAST DEAD*/
+"ArrayIterator[AParam]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__AParam,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6099,6 +5700,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__AParam = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AParam, /* Array[E]: Array[AParam] */
+&type_core__AbstractArrayRead__nitc__AParam, /* AbstractArrayRead[E]: AbstractArrayRead[AParam] */
+}
+};
+/* runtime type ArrayReverseIterator[AParam] */
+const struct type type_core__array__ArrayReverseIterator__nitc__AParam = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[AParam]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__AParam,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6109,25 +5731,24 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__poset
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__Phase__poset__POSetElement__nit__Phase = {
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__AParam = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__Phase__poset__POSetElement__nit__Phase, /* HashMap[K, V]: HashMap[Phase, POSetElement[Phase]] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__MapKeysIterator__nit__Phase__poset__POSetElement__nit__Phase, /* MapKeysIterator[K, V]: MapKeysIterator[Phase, POSetElement[Phase]] */
+&type_core__Array__nitc__AParam, /* Array[E]: Array[AParam] */
+&type_core__AbstractArrayRead__nitc__AParam, /* AbstractArrayRead[E]: AbstractArrayRead[AParam] */
 }
 };
-/* runtime type HashMapValues[Phase, POSetElement[Phase]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__Phase__poset__POSetElement__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapValues[Phase, POSetElement[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[AExternCall] */
+const struct type type_core__NativeArray__nitc__AExternCall = {
+1871,
+"NativeArray[AExternCall]", /* class_name_string */
+74,
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__Phase__poset__POSetElement__nit__Phase,
-124,
+&resolution_table_core__NativeArray__nitc__AExternCall,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6159,13 +5780,14 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1492, /* NativeArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6187,6 +5809,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6198,6 +5821,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1871, /* NativeArray[AExternCall] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6227,7 +5851,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2402, /* Collection[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6237,6 +5860,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6250,29 +5874,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__Phase__poset__POSetElement__nit__Phase, /* HashMap[K, V]: HashMap[Phase, POSetElement[Phase]] */
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__MapValuesIterator__nit__Phase__poset__POSetElement__nit__Phase, /* MapValuesIterator[K, V]: MapValuesIterator[Phase, POSetElement[Phase]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[Phase, POSetElement[Phase]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase = {
-1485,
-"NativeArray[nullable HashMapNode[Phase, POSetElement[Phase]]]", /* class_name_string */
-187,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6372,6 +5973,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__AExternCall = {
+0, /* dummy */
+{
+&type_nitc__AExternCall, /* E: AExternCall */
+&type_core__NativeArray__nitc__AExternCall, /* NativeArray[E]: NativeArray[AExternCall] */
+}
+};
+/* runtime type ArrayIterator[AExternCall] */
+const struct type type_core__array__ArrayIterator__nitc__AExternCall = {
+-1, /*CAST DEAD*/
+"ArrayIterator[AExternCall]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__AExternCall,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6380,6 +6002,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__AExternCall = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AExternCall, /* Array[E]: Array[AExternCall] */
+&type_core__AbstractArrayRead__nitc__AExternCall, /* AbstractArrayRead[E]: AbstractArrayRead[AExternCall] */
+}
+};
+/* runtime type ArrayReverseIterator[AExternCall] */
+const struct type type_core__array__ArrayReverseIterator__nitc__AExternCall = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[AExternCall]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__AExternCall,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6388,6 +6031,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__AExternCall = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AExternCall, /* Array[E]: Array[AExternCall] */
+&type_core__AbstractArrayRead__nitc__AExternCall, /* AbstractArrayRead[E]: AbstractArrayRead[AExternCall] */
+}
+};
+/* runtime type NativeArray[AForGroup] */
+const struct type type_core__NativeArray__nitc__AForGroup = {
+1874,
+"NativeArray[AForGroup]", /* class_name_string */
+75,
+0,
+&resolution_table_core__NativeArray__nitc__AForGroup,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6419,12 +6082,14 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1492, /* NativeArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6446,6 +6111,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1329, /* NativeArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6456,9 +6122,9 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1485, /* NativeArray[nullable HashMapNode[Phase, POSetElement[Phase]]] */
 -1, /* empty */
 -1, /* empty */
+1874, /* NativeArray[AForGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6488,26 +6154,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase, /* E: nullable HashMapNode[Phase, POSetElement[Phase]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase, /* NativeArray[E]: NativeArray[nullable HashMapNode[Phase, POSetElement[Phase]]] */
-}
-};
-/* runtime type HashMapIterator[Phase, POSetElement[Phase]] */
-const struct type type_standard__HashMapIterator__nit__Phase__poset__POSetElement__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapIterator[Phase, POSetElement[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__Phase__poset__POSetElement__nit__Phase,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6516,6 +6162,7 @@ const struct type type_standard__HashMapIterator__nit__Phase__poset__POSetElemen
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6553,7 +6200,6 @@ const struct type type_standard__HashMapIterator__nit__Phase__poset__POSetElemen
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2591, /* MapIterator[Phase, POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6583,25 +6229,6 @@ const struct type type_standard__HashMapIterator__nit__Phase__poset__POSetElemen
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__Phase__poset__POSetElement__nit__Phase, /* HashMap[K, V]: HashMap[Phase, POSetElement[Phase]] */
-}
-};
-/* runtime type HashMapNode[Phase, POSetElement[Phase]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase = {
-1487,
-"HashMapNode[Phase, POSetElement[Phase]]", /* class_name_string */
-118,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6645,10 +6272,30 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2274, /* nullable HashMapNode[Phase, POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__AForGroup = {
+0, /* dummy */
+{
+&type_nitc__AForGroup, /* E: AForGroup */
+&type_core__NativeArray__nitc__AForGroup, /* NativeArray[E]: NativeArray[AForGroup] */
+}
+};
+/* runtime type ArrayIterator[AForGroup] */
+const struct type type_core__array__ArrayIterator__nitc__AForGroup = {
+-1, /*CAST DEAD*/
+"ArrayIterator[AForGroup]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__AForGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6657,6 +6304,27 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__AForGroup = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AForGroup, /* Array[E]: Array[AForGroup] */
+&type_core__AbstractArrayRead__nitc__AForGroup, /* AbstractArrayRead[E]: AbstractArrayRead[AForGroup] */
+}
+};
+/* runtime type ArrayReverseIterator[AForGroup] */
+const struct type type_core__array__ArrayReverseIterator__nitc__AForGroup = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[AForGroup]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__AForGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6665,6 +6333,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__AForGroup = {
+0, /* dummy */
+{
+&type_core__Array__nitc__AForGroup, /* Array[E]: Array[AForGroup] */
+&type_core__AbstractArrayRead__nitc__AForGroup, /* AbstractArrayRead[E]: AbstractArrayRead[AForGroup] */
+}
+};
+/* runtime type NativeArray[MAttributeDef] */
+const struct type type_core__NativeArray__nitc__MAttributeDef = {
+1877,
+"NativeArray[MAttributeDef]", /* class_name_string */
+76,
+0,
+&resolution_table_core__NativeArray__nitc__MAttributeDef,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6680,6 +6368,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1204, /* NativeArray[MPropDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6695,7 +6384,10 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
+1445, /* NativeArray[PropertyLayoutElement] */
+1463, /* NativeArray[nullable MPropDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6718,7 +6410,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1487, /* HashMapNode[Phase, POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6728,6 +6419,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1815, /* NativeArray[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6735,6 +6427,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1877, /* NativeArray[MAttributeDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6748,33 +6441,11 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__poset
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__Phase, /* V: POSetElement[Phase] */
-&type_nit__Phase, /* K: Phase */
-}
-};
-/* runtime type HashSet[Phase] */
-const struct type type_standard__HashSet__nit__Phase = {
-1488,
-"HashSet[Phase]", /* class_name_string */
-157,
-0,
-&resolution_table_standard__HashSet__nit__Phase,
-159,
-{
-80, /* Object */
-2622, /* nullable Object */
-2006, /* Set[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2309, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6793,6 +6464,7 @@ const struct type type_standard__HashSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6802,7 +6474,6 @@ const struct type type_standard__HashSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6899,7 +6570,6 @@ const struct type type_standard__HashSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2206, /* Set[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6907,15 +6577,56 @@ const struct type type_standard__HashSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_nitc__MAttributeDef, /* E: MAttributeDef */
+&type_core__NativeArray__nitc__MAttributeDef, /* NativeArray[E]: NativeArray[MAttributeDef] */
+}
+};
+/* runtime type ArrayIterator[MAttributeDef] */
+const struct type type_core__array__ArrayIterator__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"ArrayIterator[MAttributeDef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__MAttributeDef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-133, /* HashSet[Object] */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MAttributeDef, /* Array[E]: Array[MAttributeDef] */
+&type_core__AbstractArrayRead__nitc__MAttributeDef, /* AbstractArrayRead[E]: AbstractArrayRead[MAttributeDef] */
+}
+};
+/* runtime type ArrayReverseIterator[MAttributeDef] */
+const struct type type_core__array__ArrayReverseIterator__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[MAttributeDef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__MAttributeDef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6923,40 +6634,29 @@ const struct type type_standard__HashSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1488, /* HashSet[Phase] */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashSet__nit__Phase = {
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__MAttributeDef = {
 0, /* dummy */
 {
-&type_nit__Phase, /* E: Phase */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__hash_collection__HashSetNode__nit__Phase, /* HashSetNode[E]: HashSetNode[Phase] */
-&type_standard__hash_collection__HashSetIterator__nit__Phase, /* HashSetIterator[E]: HashSetIterator[Phase] */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_nullable__standard__hash_collection__HashSetNode__nit__Phase, /* nullable N: nullable HashSetNode[Phase] */
-&type_standard__hash_collection__HashSetNode__nit__Phase, /* N: HashSetNode[Phase] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__Phase, /* NativeArray[nullable N]: NativeArray[nullable HashSetNode[Phase]] */
+&type_core__Array__nitc__MAttributeDef, /* Array[E]: Array[MAttributeDef] */
+&type_core__AbstractArrayRead__nitc__MAttributeDef, /* AbstractArrayRead[E]: AbstractArrayRead[MAttributeDef] */
 }
 };
-/* runtime type HashMap[Phase, Set[Phase]] */
-const struct type type_standard__HashMap__nit__Phase__standard__Set__nit__Phase = {
-1489,
-"HashMap[Phase, Set[Phase]]", /* class_name_string */
-69,
+/* runtime type HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
+const struct type type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+1880,
+"HashMap[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+81,
 0,
-&resolution_table_standard__HashMap__nit__Phase__standard__Set__nit__Phase,
-83,
+&resolution_table_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7016,6 +6716,7 @@ const struct type type_standard__HashMap__nit__Phase__standard__Set__nit__Phase
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7023,7 +6724,6 @@ const struct type type_standard__HashMap__nit__Phase__standard__Set__nit__Phase
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1489, /* HashMap[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7034,63 +6734,42 @@ const struct type type_standard__HashMap__nit__Phase__standard__Set__nit__Phase
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1880, /* HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__nit__Phase__standard__Set__nit__Phase = {
+const struct types resolution_table_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__nit__Phase__standard__Set__nit__Phase, /* HashMapIterator[K, V]: HashMapIterator[Phase, Set[Phase]] */
-&type_nit__Phase, /* K: Phase */
-&type_standard__Set__nit__Phase, /* V: Set[Phase] */
-&type_standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* HashMapNode[K, V]: HashMapNode[Phase, Set[Phase]] */
-&type_standard__hash_collection__HashMapKeys__nit__Phase__standard__Set__nit__Phase, /* HashMapKeys[K, V]: HashMapKeys[Phase, Set[Phase]] */
-&type_standard__hash_collection__HashMapValues__nit__Phase__standard__Set__nit__Phase, /* HashMapValues[K, V]: HashMapValues[Phase, Set[Phase]] */
+&type_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapIterator[K, V]: HashMapIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_nitc__MModule, /* K: MModule */
+&type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* V: HashMap[MType, Array[MAttributeDef]] */
+&type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapNode[K, V]: HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapKeys[K, V]: HashMapKeys[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapValues[K, V]: HashMapValues[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* nullable N: nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* nullable N: nullable HashMapNode[Phase, Set[Phase]] */
-&type_standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* N: HashMapNode[Phase, Set[Phase]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
-}
-};
-/* runtime type MapKeysIterator[String, Array[MProject]] */
-const struct type type_standard__MapKeysIterator__standard__String__standard__Array__nit__MProject = {
--1, /*CAST DEAD*/
-"MapKeysIterator[String, Array[MProject]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__standard__String__standard__Array__nit__MProject,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__standard__String__standard__Array__nit__MProject = {
-0, /* dummy */
-{
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__MapIterator__standard__String__standard__Array__nit__MProject, /* MapIterator[K, V]: MapIterator[String, Array[MProject]] */
+&type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* N: HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
 }
 };
-/* runtime type Array[Array[MProject]] */
-const struct type type_standard__Array__standard__Array__nit__MProject = {
-1491,
-"Array[Array[MProject]]", /* class_name_string */
-444,
+/* runtime type HashMap[MType, Array[MAttributeDef]] */
+const struct type type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+1881,
+"HashMap[MType, Array[MAttributeDef]]", /* class_name_string */
+82,
 0,
-&resolution_table_standard__Array__standard__Array__nit__MProject,
-490,
+&resolution_table_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7125,7 +6804,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7151,6 +6829,8 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7166,15 +6846,43 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2378, /* Collection[Array[MProject]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1881, /* HashMap[MType, Array[MAttributeDef]] */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+NULL, /* empty */
+NULL, /* empty */
+NULL, /* empty */
+&type_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapIterator[K, V]: HashMapIterator[MType, Array[MAttributeDef]] */
+&type_nitc__MType, /* K: MType */
+&type_core__Array__nitc__MAttributeDef, /* V: Array[MAttributeDef] */
+&type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapNode[K, V]: HashMapNode[MType, Array[MAttributeDef]] */
+&type_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapKeys[K, V]: HashMapKeys[MType, Array[MAttributeDef]] */
+&type_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMapValues[K, V]: HashMapValues[MType, Array[MAttributeDef]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* nullable N: nullable HashMapNode[MType, Array[MAttributeDef]] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* N: HashMapNode[MType, Array[MAttributeDef]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
+}
+};
+/* runtime type NativeArray[MVirtualTypeDef] */
+const struct type type_core__NativeArray__nitc__MVirtualTypeDef = {
+1882,
+"NativeArray[MVirtualTypeDef]", /* class_name_string */
+77,
+0,
+&resolution_table_core__NativeArray__nitc__MVirtualTypeDef,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7190,6 +6898,7 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1204, /* NativeArray[MPropDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7198,7 +6907,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7206,14 +6914,16 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
+1445, /* NativeArray[PropertyLayoutElement] */
+1463, /* NativeArray[nullable MPropDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7239,6 +6949,7 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1815, /* NativeArray[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7246,8 +6957,8 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
+1882, /* NativeArray[MVirtualTypeDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7283,12 +6994,12 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2499, /* AbstractArrayRead[Array[MProject]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7320,7 +7031,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2531, /* AbstractArrayRead[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7367,7 +7077,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7398,6 +7107,27 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_nitc__MVirtualTypeDef, /* E: MVirtualTypeDef */
+&type_core__NativeArray__nitc__MVirtualTypeDef, /* NativeArray[E]: NativeArray[MVirtualTypeDef] */
+}
+};
+/* runtime type ArrayIterator[MVirtualTypeDef] */
+const struct type type_core__array__ArrayIterator__nitc__MVirtualTypeDef = {
+-1, /*CAST DEAD*/
+"ArrayIterator[MVirtualTypeDef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__MVirtualTypeDef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7406,15 +7136,56 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MVirtualTypeDef, /* Array[E]: Array[MVirtualTypeDef] */
+&type_core__AbstractArrayRead__nitc__MVirtualTypeDef, /* AbstractArrayRead[E]: AbstractArrayRead[MVirtualTypeDef] */
+}
+};
+/* runtime type ArrayReverseIterator[MVirtualTypeDef] */
+const struct type type_core__array__ArrayReverseIterator__nitc__MVirtualTypeDef = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[MVirtualTypeDef]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__MVirtualTypeDef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2723, /* AbstractArray[Array[MProject]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MVirtualTypeDef, /* Array[E]: Array[MVirtualTypeDef] */
+&type_core__AbstractArrayRead__nitc__MVirtualTypeDef, /* AbstractArrayRead[E]: AbstractArrayRead[MVirtualTypeDef] */
+}
+};
+/* runtime type HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+1885,
+"HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
+83,
+0,
+&resolution_table_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+85,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7441,7 +7212,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2755, /* AbstractArray[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7456,8 +7226,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7478,6 +7246,7 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7497,7 +7266,40 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1885, /* HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+NULL, /* empty */
+NULL, /* empty */
+NULL, /* empty */
+&type_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapIterator[K, V]: HashMapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_nitc__MModule, /* K: MModule */
+&type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* V: HashMap[MType, Array[MVirtualTypeDef]] */
+&type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapNode[K, V]: HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapKeys[K, V]: HashMapKeys[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapValues[K, V]: HashMapValues[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* nullable N: nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* N: HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
+}
+};
+/* runtime type HashMap[MType, Array[MVirtualTypeDef]] */
+const struct type type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+1886,
+"HashMap[MType, Array[MVirtualTypeDef]]", /* class_name_string */
+84,
+0,
+&resolution_table_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+85,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7533,7 +7335,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1491, /* Array[Array[MProject]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7558,6 +7359,8 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7565,7 +7368,6 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1850, /* Array[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7579,105 +7381,68 @@ const struct type type_standard__Array__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1886, /* HashMap[MType, Array[MVirtualTypeDef]] */
 },
 };
-const struct types resolution_table_standard__Array__standard__Array__nit__MProject = {
+const struct types resolution_table_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MProject, /* E: Array[MProject] */
-&type_standard__Array__standard__Array__nit__MProject, /* Array[E]: Array[Array[MProject]] */
-&type_standard__Collection__standard__Array__nit__MProject, /* Collection[E]: Collection[Array[MProject]] */
-&type_standard__Array__standard__Array__nit__MProject, /* Array[E]: Array[Array[MProject]] */
-&type_standard__NativeArray__standard__Array__nit__MProject, /* NativeArray[E]: NativeArray[Array[MProject]] */
-&type_standard__Array__nit__MProject, /* E: Array[MProject] */
-&type_standard__Collection__standard__Array__nit__MProject, /* Collection[E]: Collection[Array[MProject]] */
-&type_standard__Array__nit__MProject, /* E: Array[MProject] */
-&type_standard__Collection__standard__Array__nit__MProject, /* Collection[E]: Collection[Array[MProject]] */
-&type_standard__Collection__standard__Array__nit__MProject, /* Collection[E]: Collection[Array[MProject]] */
-&type_standard__Array__standard__Array__nit__MProject, /* Array[E]: Array[Array[MProject]] */
-&type_standard__AbstractArray__standard__Array__nit__MProject, /* AbstractArray[E]: AbstractArray[Array[MProject]] */
-&type_standard__array__ArrayIterator__standard__Array__nit__MProject, /* ArrayIterator[E]: ArrayIterator[Array[MProject]] */
+NULL, /* empty */
+NULL, /* empty */
+NULL, /* empty */
+&type_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapIterator[K, V]: HashMapIterator[MType, Array[MVirtualTypeDef]] */
+&type_nitc__MType, /* K: MType */
+&type_core__Array__nitc__MVirtualTypeDef, /* V: Array[MVirtualTypeDef] */
+&type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapNode[K, V]: HashMapNode[MType, Array[MVirtualTypeDef]] */
+&type_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapKeys[K, V]: HashMapKeys[MType, Array[MVirtualTypeDef]] */
+&type_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMapValues[K, V]: HashMapValues[MType, Array[MVirtualTypeDef]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* nullable N: nullable HashMapNode[MType, Array[MVirtualTypeDef]] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* N: HashMapNode[MType, Array[MVirtualTypeDef]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
 }
 };
-/* runtime type MapValuesIterator[String, Array[MProject]] */
-const struct type type_standard__MapValuesIterator__standard__String__standard__Array__nit__MProject = {
+/* runtime type MapKeysIterator[Int, Int] */
+const struct type type_core__MapKeysIterator__core__Int__core__Int = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[String, Array[MProject]]", /* class_name_string */
+"MapKeysIterator[Int, Int]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__standard__String__standard__Array__nit__MProject,
-5,
+&resolution_table_core__MapKeysIterator__core__Int__core__Int,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapValuesIterator__standard__String__standard__Array__nit__MProject = {
+const struct types resolution_table_core__MapKeysIterator__core__Int__core__Int = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Array__nit__MProject, /* Array[E]: Array[Array[MProject]] */
-&type_standard__MapIterator__standard__String__standard__Array__nit__MProject, /* MapIterator[K, V]: MapIterator[String, Array[MProject]] */
+&type_core__Array__core__Int, /* Array[E]: Array[Int] */
+&type_core__MapIterator__core__Int__core__Int, /* MapIterator[K, V]: MapIterator[Int, Int] */
 }
 };
-/* runtime type HashMapKeys[MModule, POSetElement[MModule]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__poset__POSetElement__nit__MModule = {
+/* runtime type MapValuesIterator[Int, Int] */
+const struct type type_core__MapValuesIterator__core__Int__core__Int = {
 -1, /*CAST DEAD*/
-"HashMapKeys[MModule, POSetElement[MModule]]", /* class_name_string */
+"MapValuesIterator[Int, Int]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__poset__POSetElement__nit__MModule,
-124,
+&resolution_table_core__MapValuesIterator__core__Int__core__Int,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2312, /* Collection[MModule] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2337, /* Collection[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7686,6 +7451,26 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__core__Int__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__Int, /* Array[E]: Array[Int] */
+&type_core__MapIterator__core__Int__core__Int, /* MapIterator[K, V]: MapIterator[Int, Int] */
+}
+};
+/* runtime type NativeArray[Couple[Int, Int]] */
+const struct type type_core__NativeArray__core__Couple__core__Int__core__Int = {
+1889,
+"NativeArray[Couple[Int, Int]]", /* class_name_string */
+78,
+0,
+&resolution_table_core__NativeArray__core__Couple__core__Int__core__Int,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7717,6 +7502,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7755,33 +7541,13 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__poset__POSetElement__nit__MModule, /* HashMap[K, V]: HashMap[MModule, POSetElement[MModule]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapKeysIterator__nit__MModule__poset__POSetElement__nit__MModule, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, POSetElement[MModule]] */
-}
-};
-/* runtime type HashMapValues[MModule, POSetElement[MModule]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MModule__poset__POSetElement__nit__MModule = {
--1, /*CAST DEAD*/
-"HashMapValues[MModule, POSetElement[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MModule__poset__POSetElement__nit__MModule,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1889, /* NativeArray[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7810,13 +7576,13 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7876,7 +7642,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2403, /* Collection[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7898,27 +7663,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MModule__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__poset__POSetElement__nit__MModule, /* HashMap[K, V]: HashMap[MModule, POSetElement[MModule]] */
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__MapValuesIterator__nit__MModule__poset__POSetElement__nit__MModule, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, POSetElement[MModule]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MModule, POSetElement[MModule]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule = {
-1495,
-"NativeArray[nullable HashMapNode[MModule, POSetElement[MModule]]]", /* class_name_string */
-188,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7951,6 +7695,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__core__Couple__core__Int__core__Int = {
+0, /* dummy */
+{
+&type_core__Couple__core__Int__core__Int, /* E: Couple[Int, Int] */
+&type_core__NativeArray__core__Couple__core__Int__core__Int, /* NativeArray[E]: NativeArray[Couple[Int, Int]] */
+}
+};
+/* runtime type ArrayIterator[Couple[Int, Int]] */
+const struct type type_core__array__ArrayIterator__core__Couple__core__Int__core__Int = {
+-1, /*CAST DEAD*/
+"ArrayIterator[Couple[Int, Int]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__core__Couple__core__Int__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7958,6 +7723,28 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2843, /* Iterator[Couple[Int, Int]] */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Couple__core__Int__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__Couple__core__Int__core__Int, /* Array[E]: Array[Couple[Int, Int]] */
+&type_core__AbstractArrayRead__core__Couple__core__Int__core__Int, /* AbstractArrayRead[E]: AbstractArrayRead[Couple[Int, Int]] */
+}
+};
+/* runtime type ArrayReverseIterator[Couple[Int, Int]] */
+const struct type type_core__array__ArrayReverseIterator__core__Couple__core__Int__core__Int = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Couple[Int, Int]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Couple__core__Int__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7965,6 +7752,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2843, /* Iterator[Couple[Int, Int]] */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Couple__core__Int__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__Couple__core__Int__core__Int, /* Array[E]: Array[Couple[Int, Int]] */
+&type_core__AbstractArrayRead__core__Couple__core__Int__core__Int, /* AbstractArrayRead[E]: AbstractArrayRead[Couple[Int, Int]] */
+}
+};
+/* runtime type NativeArray[SourceFile] */
+const struct type type_core__NativeArray__nitc__SourceFile = {
+1892,
+"NativeArray[SourceFile]", /* class_name_string */
+79,
+0,
+&resolution_table_core__NativeArray__nitc__SourceFile,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7996,6 +7804,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8041,6 +7850,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1892, /* NativeArray[SourceFile] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8074,6 +7884,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8105,7 +7917,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1495, /* NativeArray[nullable HashMapNode[MModule, POSetElement[MModule]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8136,26 +7947,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule, /* E: nullable HashMapNode[MModule, POSetElement[MModule]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, POSetElement[MModule]]] */
-}
-};
-/* runtime type HashMapIterator[MModule, POSetElement[MModule]] */
-const struct type type_standard__HashMapIterator__nit__MModule__poset__POSetElement__nit__MModule = {
--1, /*CAST DEAD*/
-"HashMapIterator[MModule, POSetElement[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MModule__poset__POSetElement__nit__MModule,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8202,11 +7993,31 @@ const struct type type_standard__HashMapIterator__nit__MModule__poset__POSetElem
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2592, /* MapIterator[MModule, POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nitc__SourceFile = {
+0, /* dummy */
+{
+&type_nitc__SourceFile, /* E: SourceFile */
+&type_core__NativeArray__nitc__SourceFile, /* NativeArray[E]: NativeArray[SourceFile] */
+}
+};
+/* runtime type ArrayIterator[SourceFile] */
+const struct type type_core__array__ArrayIterator__nitc__SourceFile = {
+-1, /*CAST DEAD*/
+"ArrayIterator[SourceFile]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__SourceFile,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8215,6 +8026,27 @@ const struct type type_standard__HashMapIterator__nit__MModule__poset__POSetElem
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__SourceFile = {
+0, /* dummy */
+{
+&type_core__Array__nitc__SourceFile, /* Array[E]: Array[SourceFile] */
+&type_core__AbstractArrayRead__nitc__SourceFile, /* AbstractArrayRead[E]: AbstractArrayRead[SourceFile] */
+}
+};
+/* runtime type ArrayReverseIterator[SourceFile] */
+const struct type type_core__array__ArrayReverseIterator__nitc__SourceFile = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[SourceFile]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__SourceFile,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8223,6 +8055,27 @@ const struct type type_standard__HashMapIterator__nit__MModule__poset__POSetElem
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__SourceFile = {
+0, /* dummy */
+{
+&type_core__Array__nitc__SourceFile, /* Array[E]: Array[SourceFile] */
+&type_core__AbstractArrayRead__nitc__SourceFile, /* AbstractArrayRead[E]: AbstractArrayRead[SourceFile] */
+}
+};
+/* runtime type MapKeysIterator[Phase, POSetElement[Phase]] */
+const struct type type_core__MapKeysIterator__nitc__Phase__poset__POSetElement__nitc__Phase = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[Phase, POSetElement[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__Phase__poset__POSetElement__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8233,23 +8086,24 @@ const struct type type_standard__HashMapIterator__nit__MModule__poset__POSetElem
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMapIterator__nit__MModule__poset__POSetElement__nit__MModule = {
+const struct types resolution_table_core__MapKeysIterator__nitc__Phase__poset__POSetElement__nitc__Phase = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__poset__POSetElement__nit__MModule, /* HashMap[K, V]: HashMap[MModule, POSetElement[MModule]] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__MapIterator__nitc__Phase__poset__POSetElement__nitc__Phase, /* MapIterator[K, V]: MapIterator[Phase, POSetElement[Phase]] */
 }
 };
-/* runtime type HashMapNode[MModule, POSetElement[MModule]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule = {
-1497,
-"HashMapNode[MModule, POSetElement[MModule]]", /* class_name_string */
-119,
+/* runtime type Array[POSetElement[Phase]] */
+const struct type type_core__Array__poset__POSetElement__nitc__Phase = {
+1896,
+"Array[POSetElement[Phase]]", /* class_name_string */
+488,
 0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule,
-148,
+&resolution_table_core__Array__poset__POSetElement__nitc__Phase,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8284,6 +8138,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8294,7 +8149,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2275, /* nullable HashMapNode[MModule, POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8353,6 +8207,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2502, /* Collection[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8361,13 +8216,13 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1497, /* HashMapNode[MModule, POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8376,6 +8231,8 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8396,27 +8253,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__pos
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MModule__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MModule, /* V: POSetElement[MModule] */
-&type_nit__MModule, /* K: MModule */
-}
-};
-/* runtime type HashMap[MModule, Set[MModule]] */
-const struct type type_standard__HashMap__nit__MModule__standard__Set__nit__MModule = {
-1498,
-"HashMap[MModule, Set[MModule]]", /* class_name_string */
-70,
-0,
-&resolution_table_standard__HashMap__nit__MModule__standard__Set__nit__MModule,
-83,
-{
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8429,6 +8265,7 @@ const struct type type_standard__HashMap__nit__MModule__standard__Set__nit__MMod
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8484,7 +8321,6 @@ const struct type type_standard__HashMap__nit__MModule__standard__Set__nit__MMod
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1498, /* HashMap[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8497,60 +8333,20 @@ const struct type type_standard__HashMap__nit__MModule__standard__Set__nit__MMod
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMap__nit__MModule__standard__Set__nit__MModule = {
-0, /* dummy */
-{
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__HashMapIterator__nit__MModule__standard__Set__nit__MModule, /* HashMapIterator[K, V]: HashMapIterator[MModule, Set[MModule]] */
-&type_nit__MModule, /* K: MModule */
-&type_standard__Set__nit__MModule, /* V: Set[MModule] */
-&type_standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* HashMapNode[K, V]: HashMapNode[MModule, Set[MModule]] */
-&type_standard__hash_collection__HashMapKeys__nit__MModule__standard__Set__nit__MModule, /* HashMapKeys[K, V]: HashMapKeys[MModule, Set[MModule]] */
-&type_standard__hash_collection__HashMapValues__nit__MModule__standard__Set__nit__MModule, /* HashMapValues[K, V]: HashMapValues[MModule, Set[MModule]] */
-NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* nullable N: nullable HashMapNode[MModule, Set[MModule]] */
-&type_standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* N: HashMapNode[MModule, Set[MModule]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
-}
-};
-/* runtime type MapKeysIterator[String, Array[MModule]] */
-const struct type type_standard__MapKeysIterator__standard__String__standard__Array__nit__MModule = {
--1, /*CAST DEAD*/
-"MapKeysIterator[String, Array[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__standard__String__standard__Array__nit__MModule,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__standard__String__standard__Array__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__MapIterator__standard__String__standard__Array__nit__MModule, /* MapIterator[K, V]: MapIterator[String, Array[MModule]] */
-}
-};
-/* runtime type Array[Array[MModule]] */
-const struct type type_standard__Array__standard__Array__nit__MModule = {
-1500,
-"Array[Array[MModule]]", /* class_name_string */
-445,
-0,
-&resolution_table_standard__Array__standard__Array__nit__MModule,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
+-1, /* empty */
+2628, /* AbstractArrayRead[POSetElement[Phase]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8585,7 +8381,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8596,6 +8391,7 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8627,7 +8423,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2379, /* Collection[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8658,7 +8453,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8668,15 +8462,16 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2952, /* AbstractArray[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8691,6 +8486,7 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8706,7 +8502,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8749,7 +8544,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2500, /* AbstractArrayRead[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8780,7 +8574,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2531, /* AbstractArrayRead[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8797,6 +8590,7 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1896, /* Array[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8818,21 +8612,97 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__Phase = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__Phase, /* E: POSetElement[Phase] */
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__Collection__poset__POSetElement__nitc__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__Phase, /* AbstractArray[E]: AbstractArray[POSetElement[Phase]] */
+&type_core__NativeArray__poset__POSetElement__nitc__Phase, /* NativeArray[E]: NativeArray[POSetElement[Phase]] */
+&type_poset__POSetElement__nitc__Phase, /* E: POSetElement[Phase] */
+&type_core__Collection__poset__POSetElement__nitc__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
+&type_poset__POSetElement__nitc__Phase, /* E: POSetElement[Phase] */
+&type_core__Collection__poset__POSetElement__nitc__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
+&type_core__Collection__poset__POSetElement__nitc__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__Phase, /* AbstractArray[E]: AbstractArray[POSetElement[Phase]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__Phase, /* ArrayIterator[E]: ArrayIterator[POSetElement[Phase]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__Phase, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[Phase]] */
+}
+};
+/* runtime type MapValuesIterator[Phase, POSetElement[Phase]] */
+const struct type type_core__MapValuesIterator__nitc__Phase__poset__POSetElement__nitc__Phase = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[Phase, POSetElement[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__Phase__poset__POSetElement__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__Phase__poset__POSetElement__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__MapIterator__nitc__Phase__poset__POSetElement__nitc__Phase, /* MapIterator[K, V]: MapIterator[Phase, POSetElement[Phase]] */
+}
+};
+/* runtime type HashSetIterator[Phase] */
+const struct type type_core__hash_collection__HashSetIterator__nitc__Phase = {
+-1, /*CAST DEAD*/
+"HashSetIterator[Phase]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashSetIterator__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashSetIterator__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__HashSet__nitc__Phase, /* HashSet[E]: HashSet[Phase] */
+}
+};
+/* runtime type HashSetNode[Phase] */
+const struct type type_core__hash_collection__HashSetNode__nitc__Phase = {
+1899,
+"HashSetNode[Phase]", /* class_name_string */
+46,
+0,
+&resolution_table_core__hash_collection__HashSetNode__nitc__Phase,
+48,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8843,6 +8713,7 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2757, /* nullable HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8853,6 +8724,7 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2811, /* nullable HashSetNode[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8864,18 +8736,39 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1270, /* HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2724, /* AbstractArray[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1899, /* HashSetNode[Phase] */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashSetNode__nitc__Phase = {
+0, /* dummy */
+{
+NULL, /* empty */
+&type_nitc__Phase, /* K: Phase */
+}
+};
+/* runtime type NativeArray[nullable HashSetNode[Phase]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__Phase = {
+1900,
+"NativeArray[nullable HashSetNode[Phase]]", /* class_name_string */
+210,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__Phase,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8901,7 +8794,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2755, /* AbstractArray[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8916,8 +8808,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8990,11 +8880,11 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1500, /* Array[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9025,7 +8915,6 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1850, /* Array[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9034,65 +8923,14 @@ const struct type type_standard__Array__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1271, /* NativeArray[nullable HashSetNode[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__Array__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MModule, /* E: Array[MModule] */
-&type_standard__Array__standard__Array__nit__MModule, /* Array[E]: Array[Array[MModule]] */
-&type_standard__Collection__standard__Array__nit__MModule, /* Collection[E]: Collection[Array[MModule]] */
-&type_standard__Array__standard__Array__nit__MModule, /* Array[E]: Array[Array[MModule]] */
-&type_standard__NativeArray__standard__Array__nit__MModule, /* NativeArray[E]: NativeArray[Array[MModule]] */
-&type_standard__Array__nit__MModule, /* E: Array[MModule] */
-&type_standard__Collection__standard__Array__nit__MModule, /* Collection[E]: Collection[Array[MModule]] */
-&type_standard__Array__nit__MModule, /* E: Array[MModule] */
-&type_standard__Collection__standard__Array__nit__MModule, /* Collection[E]: Collection[Array[MModule]] */
-&type_standard__Collection__standard__Array__nit__MModule, /* Collection[E]: Collection[Array[MModule]] */
-&type_standard__Array__standard__Array__nit__MModule, /* Array[E]: Array[Array[MModule]] */
-&type_standard__AbstractArray__standard__Array__nit__MModule, /* AbstractArray[E]: AbstractArray[Array[MModule]] */
-&type_standard__array__ArrayIterator__standard__Array__nit__MModule, /* ArrayIterator[E]: ArrayIterator[Array[MModule]] */
-}
-};
-/* runtime type MapValuesIterator[String, Array[MModule]] */
-const struct type type_standard__MapValuesIterator__standard__String__standard__Array__nit__MModule = {
--1, /*CAST DEAD*/
-"MapValuesIterator[String, Array[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__standard__String__standard__Array__nit__MModule,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__standard__String__standard__Array__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nit__MModule, /* Array[E]: Array[Array[MModule]] */
-&type_standard__MapIterator__standard__String__standard__Array__nit__MModule, /* MapIterator[K, V]: MapIterator[String, Array[MModule]] */
-}
-};
-/* runtime type HashMapKeys[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9108,7 +8946,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2318, /* Collection[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9127,7 +8964,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9141,6 +8977,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1900, /* NativeArray[nullable HashSetNode[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9156,12 +8993,33 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__Phase = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashSetNode__nitc__Phase, /* E: nullable HashSetNode[Phase] */
+&type_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__Phase, /* NativeArray[E]: NativeArray[nullable HashSetNode[Phase]] */
+}
+};
+/* runtime type HashMapKeys[Phase, Set[Phase]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__Phase__core__Set__nitc__Phase = {
+-1, /*CAST DEAD*/
+"HashMapKeys[Phase, Set[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__Phase__core__Set__nitc__Phase,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2405, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9189,6 +9047,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9215,27 +9074,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, POSetElement[MClassDef]] */
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_standard__MapKeysIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* MapKeysIterator[K, V]: MapKeysIterator[MClassDef, POSetElement[MClassDef]] */
-}
-};
-/* runtime type HashMapValues[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
--1, /*CAST DEAD*/
-"HashMapValues[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9270,7 +9108,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9288,6 +9125,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9302,6 +9140,27 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__Phase__core__Set__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__Phase__core__Set__nitc__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__MapKeysIterator__nitc__Phase__core__Set__nitc__Phase, /* MapKeysIterator[K, V]: MapKeysIterator[Phase, Set[Phase]] */
+}
+};
+/* runtime type HashMapValues[Phase, Set[Phase]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__Phase__core__Set__nitc__Phase = {
+-1, /*CAST DEAD*/
+"HashMapValues[Phase, Set[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__Phase__core__Set__nitc__Phase,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9336,8 +9195,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
-2404, /* Collection[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9358,27 +9217,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, POSetElement[MClassDef]] */
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__MapValuesIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* MapValuesIterator[K, V]: MapValuesIterator[MClassDef, POSetElement[MClassDef]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MClassDef, POSetElement[MClassDef]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-1504,
-"NativeArray[nullable HashMapNode[MClassDef, POSetElement[MClassDef]]]", /* class_name_string */
-189,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9435,9 +9273,11 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2515, /* Collection[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9448,6 +9288,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__Phase__core__Set__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__Phase__core__Set__nitc__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
+&type_core__Array__core__Set__nitc__Phase, /* Array[E]: Array[Set[Phase]] */
+&type_core__MapValuesIterator__nitc__Phase__core__Set__nitc__Phase, /* MapValuesIterator[K, V]: MapValuesIterator[Phase, Set[Phase]] */
+}
+};
+/* runtime type HashMapIterator[Phase, Set[Phase]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__Phase__core__Set__nitc__Phase = {
+-1, /*CAST DEAD*/
+"HashMapIterator[Phase, Set[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__Phase__core__Set__nitc__Phase,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9503,6 +9364,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9510,6 +9372,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2715, /* MapIterator[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9523,6 +9386,25 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__Phase__core__Set__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__Phase__core__Set__nitc__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
+}
+};
+/* runtime type HashMapNode[Phase, Set[Phase]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase = {
+1904,
+"HashMapNode[Phase, Set[Phase]]", /* class_name_string */
+138,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9566,7 +9448,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1504, /* NativeArray[nullable HashMapNode[MClassDef, POSetElement[MClassDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9577,6 +9458,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9584,6 +9466,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2812, /* nullable HashMapNode[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9596,26 +9479,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* E: nullable HashMapNode[MClassDef, POSetElement[MClassDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClassDef, POSetElement[MClassDef]]] */
-}
-};
-/* runtime type HashMapIterator[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__HashMapIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9663,7 +9526,6 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__poset__POSetEl
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2593, /* MapIterator[MClassDef, POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9671,6 +9533,7 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__poset__POSetEl
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9678,6 +9541,7 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__poset__POSetEl
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1904, /* HashMapNode[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9693,23 +9557,24 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__poset__POSetEl
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMapIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, POSetElement[MClassDef]] */
+&type_core__Set__nitc__Phase, /* V: Set[Phase] */
+&type_nitc__Phase, /* K: Phase */
 }
 };
-/* runtime type HashMapNode[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-1506,
-"HashMapNode[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
-120,
+/* runtime type NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase = {
+1905,
+"NativeArray[nullable HashMapNode[Phase, Set[Phase]]]", /* class_name_string */
+211,
 0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-148,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9755,7 +9620,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2276, /* nullable HashMapNode[MClassDef, POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9822,13 +9686,13 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1506, /* HashMapNode[MClassDef, POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9856,29 +9720,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__p
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MClassDef, /* V: POSetElement[MClassDef] */
-&type_nit__MClassDef, /* K: MClassDef */
-}
-};
-/* runtime type HashMap[MClassDef, Set[MClassDef]] */
-const struct type type_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef = {
-1507,
-"HashMap[MClassDef, Set[MClassDef]]", /* class_name_string */
-71,
-0,
-&resolution_table_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef,
-83,
-{
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9934,6 +9775,7 @@ const struct type type_standard__HashMap__nit__MClassDef__standard__Set__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9942,10 +9784,10 @@ const struct type type_standard__HashMap__nit__MClassDef__standard__Set__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1905, /* NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1507, /* HashMap[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9959,21 +9801,10 @@ const struct type type_standard__HashMap__nit__MClassDef__standard__Set__nit__MC
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef = {
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase = {
 0, /* dummy */
 {
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__HashMapIterator__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMapIterator[K, V]: HashMapIterator[MClassDef, Set[MClassDef]] */
-&type_nit__MClassDef, /* K: MClassDef */
-&type_standard__Set__nit__MClassDef, /* V: Set[MClassDef] */
-&type_standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMapNode[K, V]: HashMapNode[MClassDef, Set[MClassDef]] */
-&type_standard__hash_collection__HashMapKeys__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMapKeys[K, V]: HashMapKeys[MClassDef, Set[MClassDef]] */
-&type_standard__hash_collection__HashMapValues__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMapValues[K, V]: HashMapValues[MClassDef, Set[MClassDef]] */
-NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* nullable N: nullable HashMapNode[MClassDef, Set[MClassDef]] */
-&type_standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* N: HashMapNode[MClassDef, Set[MClassDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase, /* E: nullable HashMapNode[Phase, Set[Phase]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__Phase__core__Set__nitc__Phase, /* NativeArray[E]: NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
 }
 };