1 #include "nit.common.h"
2 #define COLOR_standard__kernel__Object___61d_61d 4
3 #define COLOR_standard__kernel__Object__object_id 7
4 extern const struct type type_standard__Int
;
5 extern const char FILE_standard__kernel
[];
6 void nit__abstract_compiler___standard__Sys___main(val
* self
);
7 #include "kernel_nit.h"
8 #define COLOR_standard__kernel__Comparable__OTHER 0
9 #define COLOR_standard__kernel__Comparable___60d 19
10 long standard___standard__Bool___to_i(short int self
);
11 long standard___standard__Bool___Object__hash(short int self
);
12 extern const struct class class_standard__Float
;
13 extern const struct type type_standard__Float
;
14 val
* BOX_standard__Float(double);
15 double standard___standard__Float___Numeric__to_f(double self
);
16 long standard___standard__Float___Comparable___60d_61d_62d(double self
, double p0
);
17 extern const struct type type_standard__Byte
;
18 unsigned char standard___standard__Byte___Discrete__successor(unsigned char self
, long p0
);
19 val
* BOX_standard__Byte(unsigned char);
20 long standard___standard__Byte___Object__hash(unsigned char self
);
21 extern const struct class class_standard__Byte
;
22 unsigned char standard___standard__Byte___Numeric__to_b(unsigned char self
);
23 long standard___standard__Byte___Discrete__distance(unsigned char self
, unsigned char p0
);
24 long standard___standard__Byte___Comparable___60d_61d_62d(unsigned char self
, unsigned char p0
);
25 long standard___standard__Int___Discrete__successor(long self
, long p0
);
26 long standard___standard__Int___Object__hash(long self
);
27 long standard___standard__Int___Numeric__to_i(long self
);
28 long standard___standard__Int___Discrete__distance(long self
, long p0
);
29 long standard___standard__Int___Comparable___60d_61d_62d(long self
, long p0
);
30 long standard___standard__Int___digit_count_base_95d10(long self
);
31 long standard___standard__Char___Object__hash(uint32_t self
);
32 extern const struct type type_standard__Char
;
33 long standard___standard__Char___Discrete__distance(uint32_t self
, uint32_t p0
);
34 short int standard___standard__Char___is_digit(uint32_t self
);
35 uint32_t standard___standard__Char___to_lower(uint32_t self
);
36 short int standard___standard__Char___is_upper(uint32_t self
);
37 short int standard___standard__Char___is_lower(uint32_t self
);