1 #include "nit.common.h"
2 #define COLOR_kernel__Object___61d_61d 2
3 #define COLOR_kernel__Object__object_id 0
4 extern const struct type type_kernel__Int
;
5 long kernel__Object__hash(val
* self
);
6 long kernel___Sys_errno___impl( struct nitni_instance
* recv
);
7 #define COLOR_kernel__Comparable_VTOTHER 0
8 #define COLOR_kernel__Comparable___60d 29
9 short int kernel__Comparable___60d_61d(val
* self
, val
* p0
);
10 short int kernel__Comparable___62d_61d(val
* self
, val
* p0
);
11 short int kernel__Comparable___62d(val
* self
, val
* p0
);
12 long kernel__Comparable___60d_61d_62d(val
* self
, val
* p0
);
13 extern const struct class class_kernel__Bool
;
14 long kernel__Bool__to_i(short int self
);
15 long kernel__Bool__hash(short int self
);
16 extern const struct type type_kernel__Float
;
17 val
* BOX_kernel__Float(double);
18 double kernel__Float__to_f(double self
);
19 long kernel__Int__successor(long self
, long p0
);
20 val
* BOX_kernel__Int(long);
21 long kernel__Int__predecessor(long self
, long p0
);
22 long kernel__Int__hash(long self
);
23 extern const struct class class_kernel__Int
;
24 long kernel__Int__to_i(long self
);
25 long kernel__Int__distance(long self
, long p0
);
26 long kernel__Int___60d_61d_62d(long self
, long p0
);
27 long kernel__Int__digit_count_base_95d10(long self
);
28 long kernel__Int__digit_count(long self
, long p0
);
29 char kernel__Int__to_c(long self
);
30 long kernel__Char__hash(char self
);
31 extern const struct class class_kernel__Char
;
32 extern const struct type type_kernel__Char
;
33 val
* BOX_kernel__Char(char);
34 long kernel__Char__distance(char self
, char p0
);
35 short int kernel__Char__is_digit(char self
);
36 char kernel__Char__to_lower(char self
);
37 long kernel__Char__to_i(char self
);
38 short int kernel__Char__is_upper(char self
);
39 #include "kernel_nit.h"