-/* method poset#POSetElement#< for (self: Object, Object): Bool */
-short int VIRTUAL_poset__POSetElement___60d(val* self, val* p0) {
-short int var /* : Bool */;
-short int var1 /* : Bool */;
-var1 = poset__POSetElement___60d(self, p0);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method poset#POSetElement#init for (self: POSetElement[Object], POSet[Object], Object, Int) */
-void poset__POSetElement__init(val* self, val* p0, val* p1, long p2) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-short int var1 /* : Bool */;
-int cltype2;
-int idtype3;
-const struct type* type_struct4;
-const char* var_class_name5;
-/* Covariant cast for argument 0 (poset) <p0:POSet[Object]> isa POSet[POSetElement#0] */
-/* <p0:POSet[Object]> isa POSet[POSetElement#0] */
-type_struct = self->type->resolution_table->types[COLOR_poset__POSetposet__POSetElement_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "POSet[POSetElement#0]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/poset.nit", 175);
-show_backtrace(1);
-}
-/* Covariant cast for argument 1 (element) <p1:Object> isa POSetElement#0 */
-/* <p1:Object> isa POSetElement#0 */
-type_struct4 = self->type->resolution_table->types[COLOR_poset__POSetElement_FT0];
-cltype2 = type_struct4->color;
-idtype3 = type_struct4->id;
-if(cltype2 >= p1->type->table_size) {
-var1 = 0;
-} else {
-var1 = p1->type->type_table[cltype2] == idtype3;
-}
-if (unlikely(!var1)) {
-var_class_name5 = p1 == NULL ? "null" : p1->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "POSetElement#0", var_class_name5);
-PRINT_ERROR(" (%s:%d)\n", "lib/poset.nit", 175);
-show_backtrace(1);
-}
-self->attrs[COLOR_poset__POSetElement___poset].val = p0; /* _poset on <self:POSetElement[Object]> */
-self->attrs[COLOR_poset__POSetElement___element].val = p1; /* _element on <self:POSetElement[Object]> */
-self->attrs[COLOR_poset__POSetElement___count].l = p2; /* _count on <self:POSetElement[Object]> */
-RET_LABEL:;
-}
-/* method poset#POSetElement#init for (self: Object, POSet[Object], Object, Int) */
-void VIRTUAL_poset__POSetElement__init(val* self, val* p0, val* p1, long p2) {
-short int var /* : Bool */;
-int cltype;
-int idtype;
-const struct type* type_struct;
-const char* var_class_name;
-short int var2 /* : Bool */;
-int cltype3;
-int idtype4;
-const struct type* type_struct5;
-const char* var_class_name6;
-{ /* Inline poset#POSetElement#init (self,p0,p1,p2) on <self:Object(POSetElement[Object])> */
-/* Covariant cast for argument 0 (poset) <p0:POSet[Object]> isa POSet[POSetElement#0] */
-/* <p0:POSet[Object]> isa POSet[POSetElement#0] */
-type_struct = self->type->resolution_table->types[COLOR_poset__POSetposet__POSetElement_FT0];
-cltype = type_struct->color;
-idtype = type_struct->id;
-if(cltype >= p0->type->table_size) {
-var = 0;
-} else {
-var = p0->type->type_table[cltype] == idtype;
-}
-if (unlikely(!var)) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "POSet[POSetElement#0]", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", "lib/poset.nit", 175);
-show_backtrace(1);
-}
-/* Covariant cast for argument 1 (element) <p1:Object> isa POSetElement#0 */
-/* <p1:Object> isa POSetElement#0 */
-type_struct5 = self->type->resolution_table->types[COLOR_poset__POSetElement_FT0];
-cltype3 = type_struct5->color;
-idtype4 = type_struct5->id;
-if(cltype3 >= p1->type->table_size) {
-var2 = 0;
-} else {
-var2 = p1->type->type_table[cltype3] == idtype4;
-}
-if (unlikely(!var2)) {
-var_class_name6 = p1 == NULL ? "null" : p1->type->name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "POSetElement#0", var_class_name6);
-PRINT_ERROR(" (%s:%d)\n", "lib/poset.nit", 175);
-show_backtrace(1);
-}
-self->attrs[COLOR_poset__POSetElement___poset].val = p0; /* _poset on <self:Object(POSetElement[Object])> */
-self->attrs[COLOR_poset__POSetElement___element].val = p1; /* _element on <self:Object(POSetElement[Object])> */
-self->attrs[COLOR_poset__POSetElement___count].l = p2; /* _count on <self:Object(POSetElement[Object])> */
-RET_LABEL1:(void)0;