-void hash_collection__HashMap___91d_93d_61d(val* self, val* p0, val* p1);
-val* poset__POSet__add_node(val* self, val* p0);
-val* poset__POSet___91d_93d(val* self, val* p0);
-short int hash_collection__HashSet__has(val* self, val* p0);
-val* hash_collection__HashSet__iterator(val* self);
-#define COLOR_abstract_collection__Iterator__is_ok 33
-#define COLOR_abstract_collection__Iterator__item 31
-#define COLOR_abstract_collection__Iterator__next 32
+void standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
+val* poset___poset__POSet___add_node(val* self, val* p0);
+short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val* self, val* p0);
+val* standard___standard__HashSet___standard__abstract_collection__Collection__iterator(val* self);
+#define COLOR_standard__abstract_collection__Iterator__is_ok 34
+#define COLOR_standard__abstract_collection__Iterator__item 32
+#define COLOR_standard__abstract_collection__Iterator__next 33