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 long kernel__Int__hash(long self
);
34 extern const struct class class_kernel__Int
;
35 extern const struct type type_kernel__Int
;
36 long kernel__Int__distance(long self
, long p0
);
37 long kernel__Int___60d_61d_62d(long self
, long p0
);
38 short int kernel__Int__is_between(long self
, long p0
, long p1
);
39 long kernel__Int__max(long self
, long p0
);
40 long kernel__Int__min(long self
, long p0
);
41 long kernel__Int__digit_count_base_95d10(long self
);
42 long kernel__Int__digit_count(long self
, long p0
);
43 char kernel__Int__to_c(long self
);
44 long kernel__Int__abs(long self
);
45 long kernel__Char__hash(char self
);
46 extern const struct class class_kernel__Char
;
47 extern const struct type type_kernel__Char
;
48 long kernel__Char__distance(char self
, char p0
);
49 short int kernel__Char__is_digit(char self
);
50 char kernel__Char__to_lower(char self
);
51 long kernel__Char__to_i(char self
);
52 short int kernel__Char__is_upper(char self
);
53 short int kernel__Char__is_lower(char self
);
54 char kernel__Char__to_upper(char self
);
55 short int kernel__Char__is_letter(char self
);
56 short int kernel__Pointer__address_is_null(void* self
);