1 /* This C header file is generated by NIT to compile modules and programs that requires kernel. */
4 #include <nit_common.h>
6 extern const classtable_elt_t VFT_Object
[];
8 extern const classtable_elt_t VFT_Sys
[];
10 extern const classtable_elt_t VFT_Comparable
[];
12 extern const classtable_elt_t VFT_Discrete
[];
14 extern const classtable_elt_t VFT_Bool
[];
16 extern const classtable_elt_t VFT_Float
[];
17 struct TBOX_Float
{ const classtable_elt_t
* vft
; bigint object_id
; float val
;};
18 val_t
BOX_Float(float val
);
19 #define UNBOX_Float(x) (((struct TBOX_Float *)(VAL2OBJ(x)))->val)
21 extern const classtable_elt_t VFT_Int
[];
23 extern const classtable_elt_t VFT_Char
[];
25 extern const classtable_elt_t VFT_Pointer
[];
26 struct TBOX_Pointer
{ const classtable_elt_t
* vft
; bigint object_id
; void * val
;};
27 val_t
BOX_Pointer(void * val
);
28 #define UNBOX_Pointer(x) (((struct TBOX_Pointer *)(VAL2OBJ(x)))->val)
29 extern const char *LOCATE_kernel
;
30 extern const int SFT_kernel
[];
31 #define ID_Object (SFT_kernel[0])
32 #define COLOR_Object (SFT_kernel[1])
33 #define INIT_TABLE_POS_Object (SFT_kernel[2] + 0)
34 #define CALL_kernel___Object___object_id(recv) ((kernel___Object___object_id_t)CALL((recv), (SFT_kernel[2] + 1)))
35 #define CALL_kernel___Object___is_same_type(recv) ((kernel___Object___is_same_type_t)CALL((recv), (SFT_kernel[2] + 2)))
36 #define CALL_kernel___Object_____eqeq(recv) ((kernel___Object_____eqeq_t)CALL((recv), (SFT_kernel[2] + 3)))
37 #define CALL_kernel___Object_____neq(recv) ((kernel___Object_____neq_t)CALL((recv), (SFT_kernel[2] + 4)))
38 #define CALL_kernel___Object___output(recv) ((kernel___Object___output_t)CALL((recv), (SFT_kernel[2] + 5)))
39 #define CALL_kernel___Object___exit(recv) ((kernel___Object___exit_t)CALL((recv), (SFT_kernel[2] + 6)))
40 #define CALL_kernel___Object___sys(recv) ((kernel___Object___sys_t)CALL((recv), (SFT_kernel[2] + 7)))
41 #define ID_Sys (SFT_kernel[3])
42 #define COLOR_Sys (SFT_kernel[4])
43 #define INIT_TABLE_POS_Sys (SFT_kernel[5] + 0)
44 #define CALL_kernel___Sys___main(recv) ((kernel___Sys___main_t)CALL((recv), (SFT_kernel[5] + 1)))
45 #define CALL_kernel___Sys___init(recv) ((kernel___Sys___init_t)CALL((recv), (SFT_kernel[5] + 2)))
46 #define ID_Comparable (SFT_kernel[6])
47 #define COLOR_Comparable (SFT_kernel[7])
48 #define INIT_TABLE_POS_Comparable (SFT_kernel[8] + 0)
49 #define CALL_kernel___Comparable_____l(recv) ((kernel___Comparable_____l_t)CALL((recv), (SFT_kernel[8] + 1)))
50 #define CALL_kernel___Comparable_____leq(recv) ((kernel___Comparable_____leq_t)CALL((recv), (SFT_kernel[8] + 2)))
51 #define CALL_kernel___Comparable_____geq(recv) ((kernel___Comparable_____geq_t)CALL((recv), (SFT_kernel[8] + 3)))
52 #define CALL_kernel___Comparable_____g(recv) ((kernel___Comparable_____g_t)CALL((recv), (SFT_kernel[8] + 4)))
53 #define CALL_kernel___Comparable_____leqg(recv) ((kernel___Comparable_____leqg_t)CALL((recv), (SFT_kernel[8] + 5)))
54 #define CALL_kernel___Comparable___is_between(recv) ((kernel___Comparable___is_between_t)CALL((recv), (SFT_kernel[8] + 6)))
55 #define CALL_kernel___Comparable___max(recv) ((kernel___Comparable___max_t)CALL((recv), (SFT_kernel[8] + 7)))
56 #define CALL_kernel___Comparable___min(recv) ((kernel___Comparable___min_t)CALL((recv), (SFT_kernel[8] + 8)))
57 #define ID_Discrete (SFT_kernel[9])
58 #define COLOR_Discrete (SFT_kernel[10])
59 #define INIT_TABLE_POS_Discrete (SFT_kernel[11] + 0)
60 #define CALL_kernel___Discrete___succ(recv) ((kernel___Discrete___succ_t)CALL((recv), (SFT_kernel[11] + 1)))
61 #define CALL_kernel___Discrete___prec(recv) ((kernel___Discrete___prec_t)CALL((recv), (SFT_kernel[11] + 2)))
62 #define CALL_kernel___Discrete_____plus(recv) ((kernel___Discrete_____plus_t)CALL((recv), (SFT_kernel[11] + 3)))
63 #define CALL_kernel___Discrete_____minus(recv) ((kernel___Discrete_____minus_t)CALL((recv), (SFT_kernel[11] + 4)))
64 #define CALL_kernel___Discrete___distance(recv) ((kernel___Discrete___distance_t)CALL((recv), (SFT_kernel[11] + 5)))
65 #define ID_Bool (SFT_kernel[12])
66 #define COLOR_Bool (SFT_kernel[13])
67 #define INIT_TABLE_POS_Bool (SFT_kernel[14] + 0)
68 #define ID_Float (SFT_kernel[15])
69 #define COLOR_Float (SFT_kernel[16])
70 #define INIT_TABLE_POS_Float (SFT_kernel[17] + 0)
71 #define CALL_kernel___Float_____leq(recv) ((kernel___Float_____leq_t)CALL((recv), (SFT_kernel[17] + 1)))
72 #define CALL_kernel___Float_____l(recv) ((kernel___Float_____l_t)CALL((recv), (SFT_kernel[17] + 2)))
73 #define CALL_kernel___Float_____geq(recv) ((kernel___Float_____geq_t)CALL((recv), (SFT_kernel[17] + 3)))
74 #define CALL_kernel___Float_____g(recv) ((kernel___Float_____g_t)CALL((recv), (SFT_kernel[17] + 4)))
75 #define CALL_kernel___Float_____plus(recv) ((kernel___Float_____plus_t)CALL((recv), (SFT_kernel[17] + 5)))
76 #define CALL_kernel___Float___unary__minus(recv) ((kernel___Float___unary__minus_t)CALL((recv), (SFT_kernel[17] + 6)))
77 #define CALL_kernel___Float_____minus(recv) ((kernel___Float_____minus_t)CALL((recv), (SFT_kernel[17] + 7)))
78 #define CALL_kernel___Float_____star(recv) ((kernel___Float_____star_t)CALL((recv), (SFT_kernel[17] + 8)))
79 #define CALL_kernel___Float_____slash(recv) ((kernel___Float_____slash_t)CALL((recv), (SFT_kernel[17] + 9)))
80 #define CALL_kernel___Float___to_i(recv) ((kernel___Float___to_i_t)CALL((recv), (SFT_kernel[17] + 10)))
81 #define ID_Int (SFT_kernel[18])
82 #define COLOR_Int (SFT_kernel[19])
83 #define INIT_TABLE_POS_Int (SFT_kernel[20] + 0)
84 #define CALL_kernel___Int___unary__minus(recv) ((kernel___Int___unary__minus_t)CALL((recv), (SFT_kernel[20] + 1)))
85 #define CALL_kernel___Int_____star(recv) ((kernel___Int_____star_t)CALL((recv), (SFT_kernel[20] + 2)))
86 #define CALL_kernel___Int_____slash(recv) ((kernel___Int_____slash_t)CALL((recv), (SFT_kernel[20] + 3)))
87 #define CALL_kernel___Int_____percent(recv) ((kernel___Int_____percent_t)CALL((recv), (SFT_kernel[20] + 4)))
88 #define CALL_kernel___Int___lshift(recv) ((kernel___Int___lshift_t)CALL((recv), (SFT_kernel[20] + 5)))
89 #define CALL_kernel___Int___rshift(recv) ((kernel___Int___rshift_t)CALL((recv), (SFT_kernel[20] + 6)))
90 #define CALL_kernel___Int___to_f(recv) ((kernel___Int___to_f_t)CALL((recv), (SFT_kernel[20] + 7)))
91 #define CALL_kernel___Int___ascii(recv) ((kernel___Int___ascii_t)CALL((recv), (SFT_kernel[20] + 8)))
92 #define CALL_kernel___Int___digit_count(recv) ((kernel___Int___digit_count_t)CALL((recv), (SFT_kernel[20] + 9)))
93 #define CALL_kernel___Int___to_c(recv) ((kernel___Int___to_c_t)CALL((recv), (SFT_kernel[20] + 10)))
94 #define CALL_kernel___Int___enumerate_to(recv) ((kernel___Int___enumerate_to_t)CALL((recv), (SFT_kernel[20] + 11)))
95 #define CALL_kernel___Int___enumerate_before(recv) ((kernel___Int___enumerate_before_t)CALL((recv), (SFT_kernel[20] + 12)))
96 #define ID_Char (SFT_kernel[21])
97 #define COLOR_Char (SFT_kernel[22])
98 #define INIT_TABLE_POS_Char (SFT_kernel[23] + 0)
99 #define CALL_kernel___Char___to_i(recv) ((kernel___Char___to_i_t)CALL((recv), (SFT_kernel[23] + 1)))
100 #define CALL_kernel___Char___ascii(recv) ((kernel___Char___ascii_t)CALL((recv), (SFT_kernel[23] + 2)))
101 #define CALL_kernel___Char___to_lower(recv) ((kernel___Char___to_lower_t)CALL((recv), (SFT_kernel[23] + 3)))
102 #define CALL_kernel___Char___to_upper(recv) ((kernel___Char___to_upper_t)CALL((recv), (SFT_kernel[23] + 4)))
103 #define CALL_kernel___Char___is_digit(recv) ((kernel___Char___is_digit_t)CALL((recv), (SFT_kernel[23] + 5)))
104 #define CALL_kernel___Char___is_lower(recv) ((kernel___Char___is_lower_t)CALL((recv), (SFT_kernel[23] + 6)))
105 #define CALL_kernel___Char___is_upper(recv) ((kernel___Char___is_upper_t)CALL((recv), (SFT_kernel[23] + 7)))
106 #define CALL_kernel___Char___is_letter(recv) ((kernel___Char___is_letter_t)CALL((recv), (SFT_kernel[23] + 8)))
107 #define ID_Pointer (SFT_kernel[24])
108 #define COLOR_Pointer (SFT_kernel[25])
109 #define INIT_TABLE_POS_Pointer (SFT_kernel[26] + 0)
110 static const char * const LOCATE_kernel___Object___object_id
= "kernel::Object::object_id";
111 val_t
kernel___Object___object_id(val_t p0
);
112 typedef val_t (*kernel___Object___object_id_t
)(val_t p0
);
113 static const char * const LOCATE_kernel___Object___is_same_type
= "kernel::Object::is_same_type";
114 val_t
kernel___Object___is_same_type(val_t p0
, val_t p1
);
115 typedef val_t (*kernel___Object___is_same_type_t
)(val_t p0
, val_t p1
);
116 static const char * const LOCATE_kernel___Object_____eqeq
= "kernel::Object::==";
117 val_t
kernel___Object_____eqeq(val_t p0
, val_t p1
);
118 typedef val_t (*kernel___Object_____eqeq_t
)(val_t p0
, val_t p1
);
119 static const char * const LOCATE_kernel___Object_____neq
= "kernel::Object::!=";
120 val_t
kernel___Object_____neq(val_t p0
, val_t p1
);
121 typedef val_t (*kernel___Object_____neq_t
)(val_t p0
, val_t p1
);
122 static const char * const LOCATE_kernel___Object___output
= "kernel::Object::output";
123 void kernel___Object___output(val_t p0
);
124 typedef void (*kernel___Object___output_t
)(val_t p0
);
125 static const char * const LOCATE_kernel___Object___exit
= "kernel::Object::exit";
126 void kernel___Object___exit(val_t p0
, val_t p1
);
127 typedef void (*kernel___Object___exit_t
)(val_t p0
, val_t p1
);
128 static const char * const LOCATE_kernel___Object___sys
= "kernel::Object::sys";
129 val_t
kernel___Object___sys(val_t p0
);
130 typedef val_t (*kernel___Object___sys_t
)(val_t p0
);
131 static const char * const LOCATE_kernel___Sys___main
= "kernel::Sys::main";
132 void kernel___Sys___main(val_t p0
);
133 typedef void (*kernel___Sys___main_t
)(val_t p0
);
134 static const char * const LOCATE_kernel___Sys___init
= "kernel::Sys::init";
135 void kernel___Sys___init(val_t p0
, int* init_table
);
136 typedef void (*kernel___Sys___init_t
)(val_t p0
, int* init_table
);
137 val_t
NEW_Sys_kernel___Sys___init();
138 static const char * const LOCATE_kernel___Comparable_____l
= "kernel::Comparable::<";
139 val_t
kernel___Comparable_____l(val_t p0
, val_t p1
);
140 typedef val_t (*kernel___Comparable_____l_t
)(val_t p0
, val_t p1
);
141 static const char * const LOCATE_kernel___Comparable_____leq
= "kernel::Comparable::<=";
142 val_t
kernel___Comparable_____leq(val_t p0
, val_t p1
);
143 typedef val_t (*kernel___Comparable_____leq_t
)(val_t p0
, val_t p1
);
144 static const char * const LOCATE_kernel___Comparable_____geq
= "kernel::Comparable::>=";
145 val_t
kernel___Comparable_____geq(val_t p0
, val_t p1
);
146 typedef val_t (*kernel___Comparable_____geq_t
)(val_t p0
, val_t p1
);
147 static const char * const LOCATE_kernel___Comparable_____g
= "kernel::Comparable::>";
148 val_t
kernel___Comparable_____g(val_t p0
, val_t p1
);
149 typedef val_t (*kernel___Comparable_____g_t
)(val_t p0
, val_t p1
);
150 static const char * const LOCATE_kernel___Comparable_____leqg
= "kernel::Comparable::<=>";
151 val_t
kernel___Comparable_____leqg(val_t p0
, val_t p1
);
152 typedef val_t (*kernel___Comparable_____leqg_t
)(val_t p0
, val_t p1
);
153 static const char * const LOCATE_kernel___Comparable___is_between
= "kernel::Comparable::is_between";
154 val_t
kernel___Comparable___is_between(val_t p0
, val_t p1
, val_t p2
);
155 typedef val_t (*kernel___Comparable___is_between_t
)(val_t p0
, val_t p1
, val_t p2
);
156 static const char * const LOCATE_kernel___Comparable___max
= "kernel::Comparable::max";
157 val_t
kernel___Comparable___max(val_t p0
, val_t p1
);
158 typedef val_t (*kernel___Comparable___max_t
)(val_t p0
, val_t p1
);
159 static const char * const LOCATE_kernel___Comparable___min
= "kernel::Comparable::min";
160 val_t
kernel___Comparable___min(val_t p0
, val_t p1
);
161 typedef val_t (*kernel___Comparable___min_t
)(val_t p0
, val_t p1
);
162 static const char * const LOCATE_kernel___Discrete___succ
= "kernel::Discrete::succ";
163 val_t
kernel___Discrete___succ(val_t p0
);
164 typedef val_t (*kernel___Discrete___succ_t
)(val_t p0
);
165 static const char * const LOCATE_kernel___Discrete___prec
= "kernel::Discrete::prec";
166 val_t
kernel___Discrete___prec(val_t p0
);
167 typedef val_t (*kernel___Discrete___prec_t
)(val_t p0
);
168 static const char * const LOCATE_kernel___Discrete_____plus
= "kernel::Discrete::+";
169 val_t
kernel___Discrete_____plus(val_t p0
, val_t p1
);
170 typedef val_t (*kernel___Discrete_____plus_t
)(val_t p0
, val_t p1
);
171 static const char * const LOCATE_kernel___Discrete_____minus
= "kernel::Discrete::-";
172 val_t
kernel___Discrete_____minus(val_t p0
, val_t p1
);
173 typedef val_t (*kernel___Discrete_____minus_t
)(val_t p0
, val_t p1
);
174 static const char * const LOCATE_kernel___Discrete___distance
= "kernel::Discrete::distance";
175 val_t
kernel___Discrete___distance(val_t p0
, val_t p1
);
176 typedef val_t (*kernel___Discrete___distance_t
)(val_t p0
, val_t p1
);
177 static const char * const LOCATE_kernel___Bool___object_id
= "kernel::Bool::(kernel::Object::object_id)";
178 val_t
kernel___Bool___object_id(val_t p0
);
179 typedef val_t (*kernel___Bool___object_id_t
)(val_t p0
);
180 static const char * const LOCATE_kernel___Bool_____eqeq
= "kernel::Bool::(kernel::Object::==)";
181 val_t
kernel___Bool_____eqeq(val_t p0
, val_t p1
);
182 typedef val_t (*kernel___Bool_____eqeq_t
)(val_t p0
, val_t p1
);
183 static const char * const LOCATE_kernel___Bool_____neq
= "kernel::Bool::(kernel::Object::!=)";
184 val_t
kernel___Bool_____neq(val_t p0
, val_t p1
);
185 typedef val_t (*kernel___Bool_____neq_t
)(val_t p0
, val_t p1
);
186 static const char * const LOCATE_kernel___Bool___output
= "kernel::Bool::(kernel::Object::output)";
187 void kernel___Bool___output(val_t p0
);
188 typedef void (*kernel___Bool___output_t
)(val_t p0
);
189 static const char * const LOCATE_kernel___Float___object_id
= "kernel::Float::(kernel::Object::object_id)";
190 val_t
kernel___Float___object_id(val_t p0
);
191 typedef val_t (*kernel___Float___object_id_t
)(val_t p0
);
192 static const char * const LOCATE_kernel___Float___output
= "kernel::Float::(kernel::Object::output)";
193 void kernel___Float___output(val_t p0
);
194 typedef void (*kernel___Float___output_t
)(val_t p0
);
195 static const char * const LOCATE_kernel___Float_____leq
= "kernel::Float::<=";
196 val_t
kernel___Float_____leq(val_t p0
, val_t p1
);
197 typedef val_t (*kernel___Float_____leq_t
)(val_t p0
, val_t p1
);
198 static const char * const LOCATE_kernel___Float_____l
= "kernel::Float::<";
199 val_t
kernel___Float_____l(val_t p0
, val_t p1
);
200 typedef val_t (*kernel___Float_____l_t
)(val_t p0
, val_t p1
);
201 static const char * const LOCATE_kernel___Float_____geq
= "kernel::Float::>=";
202 val_t
kernel___Float_____geq(val_t p0
, val_t p1
);
203 typedef val_t (*kernel___Float_____geq_t
)(val_t p0
, val_t p1
);
204 static const char * const LOCATE_kernel___Float_____g
= "kernel::Float::>";
205 val_t
kernel___Float_____g(val_t p0
, val_t p1
);
206 typedef val_t (*kernel___Float_____g_t
)(val_t p0
, val_t p1
);
207 static const char * const LOCATE_kernel___Float_____plus
= "kernel::Float::+";
208 val_t
kernel___Float_____plus(val_t p0
, val_t p1
);
209 typedef val_t (*kernel___Float_____plus_t
)(val_t p0
, val_t p1
);
210 static const char * const LOCATE_kernel___Float___unary__minus
= "kernel::Float::unary -";
211 val_t
kernel___Float___unary__minus(val_t p0
);
212 typedef val_t (*kernel___Float___unary__minus_t
)(val_t p0
);
213 static const char * const LOCATE_kernel___Float_____minus
= "kernel::Float::-";
214 val_t
kernel___Float_____minus(val_t p0
, val_t p1
);
215 typedef val_t (*kernel___Float_____minus_t
)(val_t p0
, val_t p1
);
216 static const char * const LOCATE_kernel___Float_____star
= "kernel::Float::*";
217 val_t
kernel___Float_____star(val_t p0
, val_t p1
);
218 typedef val_t (*kernel___Float_____star_t
)(val_t p0
, val_t p1
);
219 static const char * const LOCATE_kernel___Float_____slash
= "kernel::Float::/";
220 val_t
kernel___Float_____slash(val_t p0
, val_t p1
);
221 typedef val_t (*kernel___Float_____slash_t
)(val_t p0
, val_t p1
);
222 static const char * const LOCATE_kernel___Float___to_i
= "kernel::Float::to_i";
223 val_t
kernel___Float___to_i(val_t p0
);
224 typedef val_t (*kernel___Float___to_i_t
)(val_t p0
);
225 static const char * const LOCATE_kernel___Int___object_id
= "kernel::Int::(kernel::Object::object_id)";
226 val_t
kernel___Int___object_id(val_t p0
);
227 typedef val_t (*kernel___Int___object_id_t
)(val_t p0
);
228 static const char * const LOCATE_kernel___Int_____eqeq
= "kernel::Int::(kernel::Object::==)";
229 val_t
kernel___Int_____eqeq(val_t p0
, val_t p1
);
230 typedef val_t (*kernel___Int_____eqeq_t
)(val_t p0
, val_t p1
);
231 static const char * const LOCATE_kernel___Int_____neq
= "kernel::Int::(kernel::Object::!=)";
232 val_t
kernel___Int_____neq(val_t p0
, val_t p1
);
233 typedef val_t (*kernel___Int_____neq_t
)(val_t p0
, val_t p1
);
234 static const char * const LOCATE_kernel___Int___output
= "kernel::Int::(kernel::Object::output)";
235 void kernel___Int___output(val_t p0
);
236 typedef void (*kernel___Int___output_t
)(val_t p0
);
237 static const char * const LOCATE_kernel___Int_____leq
= "kernel::Int::(kernel::Comparable::<=)";
238 val_t
kernel___Int_____leq(val_t p0
, val_t p1
);
239 typedef val_t (*kernel___Int_____leq_t
)(val_t p0
, val_t p1
);
240 static const char * const LOCATE_kernel___Int_____l
= "kernel::Int::(kernel::Comparable::<)";
241 val_t
kernel___Int_____l(val_t p0
, val_t p1
);
242 typedef val_t (*kernel___Int_____l_t
)(val_t p0
, val_t p1
);
243 static const char * const LOCATE_kernel___Int_____geq
= "kernel::Int::(kernel::Comparable::>=)";
244 val_t
kernel___Int_____geq(val_t p0
, val_t p1
);
245 typedef val_t (*kernel___Int_____geq_t
)(val_t p0
, val_t p1
);
246 static const char * const LOCATE_kernel___Int_____g
= "kernel::Int::(kernel::Comparable::>)";
247 val_t
kernel___Int_____g(val_t p0
, val_t p1
);
248 typedef val_t (*kernel___Int_____g_t
)(val_t p0
, val_t p1
);
249 static const char * const LOCATE_kernel___Int_____plus
= "kernel::Int::(kernel::Discrete::+)";
250 val_t
kernel___Int_____plus(val_t p0
, val_t p1
);
251 typedef val_t (*kernel___Int_____plus_t
)(val_t p0
, val_t p1
);
252 static const char * const LOCATE_kernel___Int___unary__minus
= "kernel::Int::unary -";
253 val_t
kernel___Int___unary__minus(val_t p0
);
254 typedef val_t (*kernel___Int___unary__minus_t
)(val_t p0
);
255 static const char * const LOCATE_kernel___Int_____minus
= "kernel::Int::(kernel::Discrete::-)";
256 val_t
kernel___Int_____minus(val_t p0
, val_t p1
);
257 typedef val_t (*kernel___Int_____minus_t
)(val_t p0
, val_t p1
);
258 static const char * const LOCATE_kernel___Int_____star
= "kernel::Int::*";
259 val_t
kernel___Int_____star(val_t p0
, val_t p1
);
260 typedef val_t (*kernel___Int_____star_t
)(val_t p0
, val_t p1
);
261 static const char * const LOCATE_kernel___Int_____slash
= "kernel::Int::/";
262 val_t
kernel___Int_____slash(val_t p0
, val_t p1
);
263 typedef val_t (*kernel___Int_____slash_t
)(val_t p0
, val_t p1
);
264 static const char * const LOCATE_kernel___Int_____percent
= "kernel::Int::%";
265 val_t
kernel___Int_____percent(val_t p0
, val_t p1
);
266 typedef val_t (*kernel___Int_____percent_t
)(val_t p0
, val_t p1
);
267 static const char * const LOCATE_kernel___Int___lshift
= "kernel::Int::lshift";
268 val_t
kernel___Int___lshift(val_t p0
, val_t p1
);
269 typedef val_t (*kernel___Int___lshift_t
)(val_t p0
, val_t p1
);
270 static const char * const LOCATE_kernel___Int___rshift
= "kernel::Int::rshift";
271 val_t
kernel___Int___rshift(val_t p0
, val_t p1
);
272 typedef val_t (*kernel___Int___rshift_t
)(val_t p0
, val_t p1
);
273 static const char * const LOCATE_kernel___Int___to_f
= "kernel::Int::to_f";
274 val_t
kernel___Int___to_f(val_t p0
);
275 typedef val_t (*kernel___Int___to_f_t
)(val_t p0
);
276 static const char * const LOCATE_kernel___Int___succ
= "kernel::Int::(kernel::Discrete::succ)";
277 val_t
kernel___Int___succ(val_t p0
);
278 typedef val_t (*kernel___Int___succ_t
)(val_t p0
);
279 static const char * const LOCATE_kernel___Int___prec
= "kernel::Int::(kernel::Discrete::prec)";
280 val_t
kernel___Int___prec(val_t p0
);
281 typedef val_t (*kernel___Int___prec_t
)(val_t p0
);
282 static const char * const LOCATE_kernel___Int___distance
= "kernel::Int::(kernel::Discrete::distance)";
283 val_t
kernel___Int___distance(val_t p0
, val_t p1
);
284 typedef val_t (*kernel___Int___distance_t
)(val_t p0
, val_t p1
);
285 static const char * const LOCATE_kernel___Int_____leqg
= "kernel::Int::(kernel::Comparable::<=>)";
286 val_t
kernel___Int_____leqg(val_t p0
, val_t p1
);
287 typedef val_t (*kernel___Int_____leqg_t
)(val_t p0
, val_t p1
);
288 static const char * const LOCATE_kernel___Int___is_between
= "kernel::Int::(kernel::Comparable::is_between)";
289 val_t
kernel___Int___is_between(val_t p0
, val_t p1
, val_t p2
);
290 typedef val_t (*kernel___Int___is_between_t
)(val_t p0
, val_t p1
, val_t p2
);
291 static const char * const LOCATE_kernel___Int___max
= "kernel::Int::(kernel::Comparable::max)";
292 val_t
kernel___Int___max(val_t p0
, val_t p1
);
293 typedef val_t (*kernel___Int___max_t
)(val_t p0
, val_t p1
);
294 static const char * const LOCATE_kernel___Int___min
= "kernel::Int::(kernel::Comparable::min)";
295 val_t
kernel___Int___min(val_t p0
, val_t p1
);
296 typedef val_t (*kernel___Int___min_t
)(val_t p0
, val_t p1
);
297 static const char * const LOCATE_kernel___Int___ascii
= "kernel::Int::ascii";
298 val_t
kernel___Int___ascii(val_t p0
);
299 typedef val_t (*kernel___Int___ascii_t
)(val_t p0
);
300 static const char * const LOCATE_kernel___Int___digit_count
= "kernel::Int::digit_count";
301 val_t
kernel___Int___digit_count(val_t p0
, val_t p1
);
302 typedef val_t (*kernel___Int___digit_count_t
)(val_t p0
, val_t p1
);
303 static const char * const LOCATE_kernel___Int___to_c
= "kernel::Int::to_c";
304 val_t
kernel___Int___to_c(val_t p0
);
305 typedef val_t (*kernel___Int___to_c_t
)(val_t p0
);
306 typedef void (*CLOS_kernel___Int___enumerate_to_0
)(struct stack_frame_t
*, val_t
);
307 static const char * const LOCATE_kernel___Int___enumerate_to
= "kernel::Int::enumerate_to";
308 void kernel___Int___enumerate_to(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
309 typedef void (*kernel___Int___enumerate_to_t
)(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
310 typedef void (*CLOS_kernel___Int___enumerate_before_0
)(struct stack_frame_t
*, val_t
);
311 static const char * const LOCATE_kernel___Int___enumerate_before
= "kernel::Int::enumerate_before";
312 void kernel___Int___enumerate_before(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
313 typedef void (*kernel___Int___enumerate_before_t
)(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
314 static const char * const LOCATE_kernel___Char___object_id
= "kernel::Char::(kernel::Object::object_id)";
315 val_t
kernel___Char___object_id(val_t p0
);
316 typedef val_t (*kernel___Char___object_id_t
)(val_t p0
);
317 static const char * const LOCATE_kernel___Char_____eqeq
= "kernel::Char::(kernel::Object::==)";
318 val_t
kernel___Char_____eqeq(val_t p0
, val_t p1
);
319 typedef val_t (*kernel___Char_____eqeq_t
)(val_t p0
, val_t p1
);
320 static const char * const LOCATE_kernel___Char_____neq
= "kernel::Char::(kernel::Object::!=)";
321 val_t
kernel___Char_____neq(val_t p0
, val_t p1
);
322 typedef val_t (*kernel___Char_____neq_t
)(val_t p0
, val_t p1
);
323 static const char * const LOCATE_kernel___Char___output
= "kernel::Char::(kernel::Object::output)";
324 void kernel___Char___output(val_t p0
);
325 typedef void (*kernel___Char___output_t
)(val_t p0
);
326 static const char * const LOCATE_kernel___Char_____leq
= "kernel::Char::(kernel::Comparable::<=)";
327 val_t
kernel___Char_____leq(val_t p0
, val_t p1
);
328 typedef val_t (*kernel___Char_____leq_t
)(val_t p0
, val_t p1
);
329 static const char * const LOCATE_kernel___Char_____l
= "kernel::Char::(kernel::Comparable::<)";
330 val_t
kernel___Char_____l(val_t p0
, val_t p1
);
331 typedef val_t (*kernel___Char_____l_t
)(val_t p0
, val_t p1
);
332 static const char * const LOCATE_kernel___Char_____geq
= "kernel::Char::(kernel::Comparable::>=)";
333 val_t
kernel___Char_____geq(val_t p0
, val_t p1
);
334 typedef val_t (*kernel___Char_____geq_t
)(val_t p0
, val_t p1
);
335 static const char * const LOCATE_kernel___Char_____g
= "kernel::Char::(kernel::Comparable::>)";
336 val_t
kernel___Char_____g(val_t p0
, val_t p1
);
337 typedef val_t (*kernel___Char_____g_t
)(val_t p0
, val_t p1
);
338 static const char * const LOCATE_kernel___Char___succ
= "kernel::Char::(kernel::Discrete::succ)";
339 val_t
kernel___Char___succ(val_t p0
);
340 typedef val_t (*kernel___Char___succ_t
)(val_t p0
);
341 static const char * const LOCATE_kernel___Char___prec
= "kernel::Char::(kernel::Discrete::prec)";
342 val_t
kernel___Char___prec(val_t p0
);
343 typedef val_t (*kernel___Char___prec_t
)(val_t p0
);
344 static const char * const LOCATE_kernel___Char___distance
= "kernel::Char::(kernel::Discrete::distance)";
345 val_t
kernel___Char___distance(val_t p0
, val_t p1
);
346 typedef val_t (*kernel___Char___distance_t
)(val_t p0
, val_t p1
);
347 static const char * const LOCATE_kernel___Char___to_i
= "kernel::Char::to_i";
348 val_t
kernel___Char___to_i(val_t p0
);
349 typedef val_t (*kernel___Char___to_i_t
)(val_t p0
);
350 static const char * const LOCATE_kernel___Char___ascii
= "kernel::Char::ascii";
351 val_t
kernel___Char___ascii(val_t p0
);
352 typedef val_t (*kernel___Char___ascii_t
)(val_t p0
);
353 static const char * const LOCATE_kernel___Char_____plus
= "kernel::Char::(kernel::Discrete::+)";
354 val_t
kernel___Char_____plus(val_t p0
, val_t p1
);
355 typedef val_t (*kernel___Char_____plus_t
)(val_t p0
, val_t p1
);
356 static const char * const LOCATE_kernel___Char_____minus
= "kernel::Char::(kernel::Discrete::-)";
357 val_t
kernel___Char_____minus(val_t p0
, val_t p1
);
358 typedef val_t (*kernel___Char_____minus_t
)(val_t p0
, val_t p1
);
359 static const char * const LOCATE_kernel___Char___to_lower
= "kernel::Char::to_lower";
360 val_t
kernel___Char___to_lower(val_t p0
);
361 typedef val_t (*kernel___Char___to_lower_t
)(val_t p0
);
362 static const char * const LOCATE_kernel___Char___to_upper
= "kernel::Char::to_upper";
363 val_t
kernel___Char___to_upper(val_t p0
);
364 typedef val_t (*kernel___Char___to_upper_t
)(val_t p0
);
365 static const char * const LOCATE_kernel___Char___is_digit
= "kernel::Char::is_digit";
366 val_t
kernel___Char___is_digit(val_t p0
);
367 typedef val_t (*kernel___Char___is_digit_t
)(val_t p0
);
368 static const char * const LOCATE_kernel___Char___is_lower
= "kernel::Char::is_lower";
369 val_t
kernel___Char___is_lower(val_t p0
);
370 typedef val_t (*kernel___Char___is_lower_t
)(val_t p0
);
371 static const char * const LOCATE_kernel___Char___is_upper
= "kernel::Char::is_upper";
372 val_t
kernel___Char___is_upper(val_t p0
);
373 typedef val_t (*kernel___Char___is_upper_t
)(val_t p0
);
374 static const char * const LOCATE_kernel___Char___is_letter
= "kernel::Char::is_letter";
375 val_t
kernel___Char___is_letter(val_t p0
);
376 typedef val_t (*kernel___Char___is_letter_t
)(val_t p0
);