-typedef void (* genericity___MMTypeFormalParameter___with_bound_t)(val_t self, val_t param0, val_t param1, val_t param2, val_t param3, int* init_table);
-void genericity___MMTypeFormalParameter___with_bound(val_t self, val_t param0, val_t param1, val_t param2, val_t param3, int* init_table);
+void genericity___MMTypeFormalParameter___bound__eq(val_t p0, val_t p1);
+typedef void (*genericity___MMTypeFormalParameter___bound__eq_t)(val_t p0, val_t p1);