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 void abstract_compiler__Sys__main(val
* self
);
7 void kernel__Sys__run(val
* self
);
8 long kernel___Sys_errno___impl( struct nitni_instance
* recv
);
9 #define COLOR_kernel__Comparable_VTOTHER 0
10 #define COLOR_kernel__Comparable___60d 31
11 short int kernel__Comparable___60d_61d(val
* self
, val
* p0
);
12 short int kernel__Comparable___62d_61d(val
* self
, val
* p0
);
13 short int kernel__Comparable___62d(val
* self
, val
* p0
);
14 long kernel__Comparable___60d_61d_62d(val
* self
, val
* p0
);
15 extern const struct class class_kernel__Bool
;
16 long kernel__Bool__to_i(short int self
);
17 long kernel__Bool__hash(short int self
);
18 extern const struct class class_kernel__Float
;
19 extern const struct type type_kernel__Float
;
20 val
* BOX_kernel__Float(double);
21 double kernel__Float__to_f(double self
);
22 long kernel__Float___60d_61d_62d(double self
, double p0
);
23 long kernel__Int__successor(long self
, long p0
);
24 val
* BOX_kernel__Int(long);
25 long kernel__Int__hash(long self
);
26 extern const struct class class_kernel__Int
;
27 long kernel__Int__to_i(long self
);
28 long kernel__Int__distance(long self
, long p0
);
29 long kernel__Int___60d_61d_62d(long self
, long p0
);
30 long kernel__Int__digit_count_base_95d10(long self
);
31 long kernel__Int__digit_count(long self
, long p0
);
32 char kernel__Int__to_c(long self
);
33 long kernel__Int__abs(long self
);
34 long kernel__Char__hash(char self
);
35 extern const struct class class_kernel__Char
;
36 extern const struct type type_kernel__Char
;
37 val
* BOX_kernel__Char(char);
38 long kernel__Char__distance(char self
, char p0
);
39 short int kernel__Char__is_digit(char self
);
40 char kernel__Char__to_lower(char self
);
41 long kernel__Char__to_i(char self
);
42 short int kernel__Char__is_upper(char self
);
43 short int kernel__Char__is_lower(char self
);
44 char kernel__Char__to_upper(char self
);
45 #include "kernel_nit.h"