extern const int COLOR_range__IteratorRange__init;
void CHECK_NEW_range__IteratorRange(val*);
val* range__Range__iterator(val* self);
-extern const int COLOR_kernel__Discrete__succ;
-extern const int COLOR_range__Range_FT0;
-void range__Range__iterate(val* self);
extern const int COLOR_kernel__Discrete__distance;
extern const struct type type_kernel__Int;
long range__Range__length(val* self);
short int range__Range__is_empty(val* self);
+extern const int COLOR_range__Range_FT0;
+extern const int COLOR_kernel__Discrete__succ;
void range__Range__init(val* self, val* p0, val* p1);
extern const int COLOR_kernel__Discrete__prec;
void range__Range__without_last(val* self, val* p0, val* p1);