-extern const int COLOR_kernel__Comparable___60d_61d;
-short int kernel__Comparable__is_between(val* self, val* p0, val* p1);
-val* kernel__Comparable__max(val* self, val* p0);
-val* kernel__Comparable__min(val* self, val* p0);
-extern const int COLOR_kernel__Discrete___43d;
-val* kernel__Discrete__succ(val* self);
-extern const int COLOR_kernel__Discrete___45d;
-val* kernel__Discrete__prec(val* self);
-val* kernel__Discrete___43d(val* self, long p0);
-val* kernel__Discrete___45d(val* self, long p0);
-extern const int COLOR_kernel__Comparable___62d;
-extern const int COLOR_kernel__Discrete__succ;
-long kernel__Discrete__distance(val* self, val* p0);