-void poset__POSet__init(val* self);
-extern const int COLOR_poset__POSetElement___64dposet;
-val* poset__POSetElement__poset(val* self);
-extern const int COLOR_poset__POSetposet__POSetElement_FT0;
-void poset__POSetElement__poset_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64delement;
-val* poset__POSetElement__element(val* self);
-extern const int COLOR_poset__POSetElement_FT0;
-void poset__POSetElement__element_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64dtos;
-val* poset__POSetElement__tos(val* self);
-extern const int COLOR_hash_collection__HashSetposet__POSetElement_FT0;
-void poset__POSetElement__tos_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64dfroms;
-val* poset__POSetElement__froms(val* self);
-void poset__POSetElement__froms_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64ddtos;
-val* poset__POSetElement__dtos(val* self);
-void poset__POSetElement__dtos_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64ddfroms;
-val* poset__POSetElement__dfroms(val* self);
-void poset__POSetElement__dfroms_61d(val* self, val* p0);
-extern const int COLOR_poset__POSetElement___64dcount;
-long poset__POSetElement__count(val* self);
-void poset__POSetElement__count_61d(val* self, long p0);
+#define COLOR_abstract_collection__Collectionposet__POSet_FT0 6
+void sorter__Comparator__sort(val* self, val* p0);
+val* poset__POSet__linearize(val* self, val* p0);
+#define COLOR_poset__POSetElement___poset 0
+#define COLOR_poset__POSetposet__POSetElement_FT0 1
+#define COLOR_poset__POSetElement___element 1
+#define COLOR_poset__POSetElement_FT0 2