1 #include "nit.common.h"
2 extern const int COLOR_kernel__Object__is_same_instance
;
3 short int kernel__Object___61d_61d(val
* self
, val
* p0
);
4 extern const int COLOR_kernel__Object___61d_61d
;
5 short int kernel__Object___33d_61d(val
* self
, val
* p0
);
6 extern const int COLOR_kernel__Object__object_id
;
7 void kernel__Object__output(val
* self
);
8 long kernel__Object__hash(val
* self
);
9 void kernel__Sys__main(val
* self
);
10 void kernel__Sys__init(val
* self
);
11 extern const int COLOR_kernel__Comparable_VTOTHER
;
12 short int kernel__Comparable___60d(val
* self
, val
* p0
);
13 extern const int COLOR_kernel__Comparable___60d
;
14 short int kernel__Comparable___60d_61d(val
* self
, val
* p0
);
15 short int kernel__Comparable___62d_61d(val
* self
, val
* p0
);
16 short int kernel__Comparable___62d(val
* self
, val
* p0
);
17 long kernel__Comparable___60d_61d_62d(val
* self
, val
* p0
);
18 extern const int COLOR_kernel__Comparable___60d_61d
;
19 short int kernel__Comparable__is_between(val
* self
, val
* p0
, val
* p1
);
20 val
* kernel__Comparable__max(val
* self
, val
* p0
);
21 val
* kernel__Comparable__min(val
* self
, val
* p0
);
22 extern const int COLOR_kernel__Discrete___43d
;
23 val
* kernel__Discrete__succ(val
* self
);
24 extern const int COLOR_kernel__Discrete___45d
;
25 val
* kernel__Discrete__prec(val
* self
);
26 val
* kernel__Discrete___43d(val
* self
, long p0
);
27 val
* kernel__Discrete___45d(val
* self
, long p0
);
28 extern const int COLOR_kernel__Comparable___62d
;
29 extern const int COLOR_kernel__Discrete__succ
;
30 long kernel__Discrete__distance(val
* self
, val
* p0
);
31 extern const struct class class_kernel__Bool
;
32 long kernel__Bool__hash(short int self
);
33 extern const struct type type_kernel__Float
;
34 long kernel__Int__hash(long self
);
35 extern const struct class class_kernel__Int
;
36 extern const struct type type_kernel__Int
;
37 val
* BOX_kernel__Int(long);
38 long kernel__Int__distance(long self
, long p0
);
39 long kernel__Int___60d_61d_62d(long self
, long p0
);
40 short int kernel__Int__is_between(long self
, long p0
, long p1
);
41 long kernel__Int__max(long self
, long p0
);
42 long kernel__Int__min(long self
, long p0
);
43 long kernel__Int__digit_count_base_95d10(long self
);
44 long kernel__Int__digit_count(long self
, long p0
);
45 char kernel__Int__to_c(long self
);
46 long kernel__Int__abs(long self
);
47 long kernel__Char__hash(char self
);
48 extern const struct class class_kernel__Char
;
49 extern const struct type type_kernel__Char
;
50 val
* BOX_kernel__Char(char);
51 long kernel__Char__distance(char self
, char p0
);
52 short int kernel__Char__is_digit(char self
);
53 char kernel__Char__to_lower(char self
);
54 long kernel__Char__to_i(char self
);
55 short int kernel__Char__is_upper(char self
);
56 short int kernel__Char__is_lower(char self
);
57 char kernel__Char__to_upper(char self
);
58 short int kernel__Char__is_letter(char self
);
59 int kernel___Pointer_address_is_null___impl( void* recv
);
60 short int kernel__Pointer__address_is_null(void* self
);