Update c_src
[nit.git] / c_src / kernel._sep.h
1 /* This C header file is generated by NIT to compile modules and programs that requires kernel. */
2 #ifndef kernel_2_sep
3 #define kernel_2_sep
4 #include <nit_common.h>
5
6 extern const classtable_elt_t VFT_Object[];
7
8 extern const classtable_elt_t VFT_Sys[];
9
10 extern const classtable_elt_t VFT_Comparable[];
11
12 extern const classtable_elt_t VFT_Discrete[];
13
14 extern const classtable_elt_t VFT_Bool[];
15
16 extern const classtable_elt_t VFT_Float[];
17 struct TBOX_Float { const classtable_elt_t * vft; float val;};
18 val_t BOX_Float(float val);
19 #define UNBOX_Float(x) (((struct TBOX_Float *)(VAL2OBJ(x)))->val)
20
21 extern const classtable_elt_t VFT_Int[];
22
23 extern const classtable_elt_t VFT_Char[];
24
25 extern const classtable_elt_t VFT_Pointer[];
26 struct TBOX_Pointer { const classtable_elt_t * vft; void * val;};
27 val_t BOX_Pointer(void * val);
28 #define UNBOX_Pointer(x) (((struct TBOX_Pointer *)(VAL2OBJ(x)))->val)
29 #define LOCATE_kernel "./../lib/standard//kernel.nit"
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]
34 #define COLOR_kernel___Object___object_id SFT_kernel[3]
35 #define COLOR_kernel___Object___is_same_type SFT_kernel[4]
36 #define COLOR_kernel___Object_____eqeq SFT_kernel[5]
37 #define COLOR_kernel___Object_____neq SFT_kernel[6]
38 #define COLOR_kernel___Object___output SFT_kernel[7]
39 #define COLOR_kernel___Object___exit SFT_kernel[8]
40 #define COLOR_kernel___Object___sys SFT_kernel[9]
41 #define ID_Sys SFT_kernel[10]
42 #define COLOR_Sys SFT_kernel[11]
43 #define INIT_TABLE_POS_Sys SFT_kernel[12]
44 #define COLOR_kernel___Sys___main SFT_kernel[13]
45 #define ID_Comparable SFT_kernel[14]
46 #define COLOR_Comparable SFT_kernel[15]
47 #define INIT_TABLE_POS_Comparable SFT_kernel[16]
48 #define COLOR_kernel___Comparable_____l SFT_kernel[17]
49 #define COLOR_kernel___Comparable_____leq SFT_kernel[18]
50 #define COLOR_kernel___Comparable_____geq SFT_kernel[19]
51 #define COLOR_kernel___Comparable_____g SFT_kernel[20]
52 #define COLOR_kernel___Comparable_____leqg SFT_kernel[21]
53 #define COLOR_kernel___Comparable___is_between SFT_kernel[22]
54 #define COLOR_kernel___Comparable___max SFT_kernel[23]
55 #define COLOR_kernel___Comparable___min SFT_kernel[24]
56 #define ID_Discrete SFT_kernel[25]
57 #define COLOR_Discrete SFT_kernel[26]
58 #define INIT_TABLE_POS_Discrete SFT_kernel[27]
59 #define COLOR_kernel___Discrete___succ SFT_kernel[28]
60 #define COLOR_kernel___Discrete___prec SFT_kernel[29]
61 #define COLOR_kernel___Discrete_____plus SFT_kernel[30]
62 #define COLOR_kernel___Discrete_____minus SFT_kernel[31]
63 #define COLOR_kernel___Discrete___distance SFT_kernel[32]
64 #define ID_Bool SFT_kernel[33]
65 #define COLOR_Bool SFT_kernel[34]
66 #define INIT_TABLE_POS_Bool SFT_kernel[35]
67 #define ID_Float SFT_kernel[36]
68 #define COLOR_Float SFT_kernel[37]
69 #define INIT_TABLE_POS_Float SFT_kernel[38]
70 #define COLOR_kernel___Float_____leq SFT_kernel[39]
71 #define COLOR_kernel___Float_____l SFT_kernel[40]
72 #define COLOR_kernel___Float_____geq SFT_kernel[41]
73 #define COLOR_kernel___Float_____g SFT_kernel[42]
74 #define COLOR_kernel___Float_____plus SFT_kernel[43]
75 #define COLOR_kernel___Float___unary__minus SFT_kernel[44]
76 #define COLOR_kernel___Float_____minus SFT_kernel[45]
77 #define COLOR_kernel___Float_____star SFT_kernel[46]
78 #define COLOR_kernel___Float_____slash SFT_kernel[47]
79 #define COLOR_kernel___Float___to_i SFT_kernel[48]
80 #define ID_Int SFT_kernel[49]
81 #define COLOR_Int SFT_kernel[50]
82 #define INIT_TABLE_POS_Int SFT_kernel[51]
83 #define COLOR_kernel___Int___unary__minus SFT_kernel[52]
84 #define COLOR_kernel___Int_____star SFT_kernel[53]
85 #define COLOR_kernel___Int_____slash SFT_kernel[54]
86 #define COLOR_kernel___Int_____percent SFT_kernel[55]
87 #define COLOR_kernel___Int___lshift SFT_kernel[56]
88 #define COLOR_kernel___Int___rshift SFT_kernel[57]
89 #define COLOR_kernel___Int___to_f SFT_kernel[58]
90 #define COLOR_kernel___Int___ascii SFT_kernel[59]
91 #define COLOR_kernel___Int___digit_count SFT_kernel[60]
92 #define COLOR_kernel___Int___to_c SFT_kernel[61]
93 #define ID_Char SFT_kernel[62]
94 #define COLOR_Char SFT_kernel[63]
95 #define INIT_TABLE_POS_Char SFT_kernel[64]
96 #define COLOR_kernel___Char___to_i SFT_kernel[65]
97 #define COLOR_kernel___Char___ascii SFT_kernel[66]
98 #define COLOR_kernel___Char___to_lower SFT_kernel[67]
99 #define COLOR_kernel___Char___to_upper SFT_kernel[68]
100 #define ID_Pointer SFT_kernel[69]
101 #define COLOR_Pointer SFT_kernel[70]
102 #define INIT_TABLE_POS_Pointer SFT_kernel[71]
103 typedef val_t (* kernel___Object___object_id_t)(val_t self);
104 val_t kernel___Object___object_id(val_t self);
105 #define LOCATE_kernel___Object___object_id "kernel::Object::object_id"
106 typedef val_t (* kernel___Object___is_same_type_t)(val_t self, val_t param0);
107 val_t kernel___Object___is_same_type(val_t self, val_t param0);
108 #define LOCATE_kernel___Object___is_same_type "kernel::Object::is_same_type"
109 typedef val_t (* kernel___Object_____eqeq_t)(val_t self, val_t param0);
110 val_t kernel___Object_____eqeq(val_t self, val_t param0);
111 #define LOCATE_kernel___Object_____eqeq "kernel::Object::=="
112 typedef val_t (* kernel___Object_____neq_t)(val_t self, val_t param0);
113 val_t kernel___Object_____neq(val_t self, val_t param0);
114 #define LOCATE_kernel___Object_____neq "kernel::Object::!="
115 typedef void (* kernel___Object___output_t)(val_t self);
116 void kernel___Object___output(val_t self);
117 #define LOCATE_kernel___Object___output "kernel::Object::output"
118 typedef void (* kernel___Object___exit_t)(val_t self, val_t param0);
119 void kernel___Object___exit(val_t self, val_t param0);
120 #define LOCATE_kernel___Object___exit "kernel::Object::exit"
121 typedef val_t (* kernel___Object___sys_t)(val_t self);
122 val_t kernel___Object___sys(val_t self);
123 #define LOCATE_kernel___Object___sys "kernel::Object::sys"
124 typedef void (* kernel___Sys___main_t)(val_t self);
125 void kernel___Sys___main(val_t self);
126 #define LOCATE_kernel___Sys___main "kernel::Sys::main"
127 typedef val_t (* kernel___Comparable_____l_t)(val_t self, val_t param0);
128 val_t kernel___Comparable_____l(val_t self, val_t param0);
129 #define LOCATE_kernel___Comparable_____l "kernel::Comparable::<"
130 typedef val_t (* kernel___Comparable_____leq_t)(val_t self, val_t param0);
131 val_t kernel___Comparable_____leq(val_t self, val_t param0);
132 #define LOCATE_kernel___Comparable_____leq "kernel::Comparable::<="
133 typedef val_t (* kernel___Comparable_____geq_t)(val_t self, val_t param0);
134 val_t kernel___Comparable_____geq(val_t self, val_t param0);
135 #define LOCATE_kernel___Comparable_____geq "kernel::Comparable::>="
136 typedef val_t (* kernel___Comparable_____g_t)(val_t self, val_t param0);
137 val_t kernel___Comparable_____g(val_t self, val_t param0);
138 #define LOCATE_kernel___Comparable_____g "kernel::Comparable::>"
139 typedef val_t (* kernel___Comparable_____leqg_t)(val_t self, val_t param0);
140 val_t kernel___Comparable_____leqg(val_t self, val_t param0);
141 #define LOCATE_kernel___Comparable_____leqg "kernel::Comparable::<=>"
142 typedef val_t (* kernel___Comparable___is_between_t)(val_t self, val_t param0, val_t param1);
143 val_t kernel___Comparable___is_between(val_t self, val_t param0, val_t param1);
144 #define LOCATE_kernel___Comparable___is_between "kernel::Comparable::is_between"
145 typedef val_t (* kernel___Comparable___max_t)(val_t self, val_t param0);
146 val_t kernel___Comparable___max(val_t self, val_t param0);
147 #define LOCATE_kernel___Comparable___max "kernel::Comparable::max"
148 typedef val_t (* kernel___Comparable___min_t)(val_t self, val_t param0);
149 val_t kernel___Comparable___min(val_t self, val_t param0);
150 #define LOCATE_kernel___Comparable___min "kernel::Comparable::min"
151 typedef val_t (* kernel___Discrete___succ_t)(val_t self);
152 val_t kernel___Discrete___succ(val_t self);
153 #define LOCATE_kernel___Discrete___succ "kernel::Discrete::succ"
154 typedef val_t (* kernel___Discrete___prec_t)(val_t self);
155 val_t kernel___Discrete___prec(val_t self);
156 #define LOCATE_kernel___Discrete___prec "kernel::Discrete::prec"
157 typedef val_t (* kernel___Discrete_____plus_t)(val_t self, val_t param0);
158 val_t kernel___Discrete_____plus(val_t self, val_t param0);
159 #define LOCATE_kernel___Discrete_____plus "kernel::Discrete::+"
160 typedef val_t (* kernel___Discrete_____minus_t)(val_t self, val_t param0);
161 val_t kernel___Discrete_____minus(val_t self, val_t param0);
162 #define LOCATE_kernel___Discrete_____minus "kernel::Discrete::-"
163 typedef val_t (* kernel___Discrete___distance_t)(val_t self, val_t param0);
164 val_t kernel___Discrete___distance(val_t self, val_t param0);
165 #define LOCATE_kernel___Discrete___distance "kernel::Discrete::distance"
166 typedef val_t (* kernel___Bool___object_id_t)(val_t self);
167 val_t kernel___Bool___object_id(val_t self);
168 #define LOCATE_kernel___Bool___object_id "kernel::Bool::(kernel::Object::object_id)"
169 typedef val_t (* kernel___Bool_____eqeq_t)(val_t self, val_t param0);
170 val_t kernel___Bool_____eqeq(val_t self, val_t param0);
171 #define LOCATE_kernel___Bool_____eqeq "kernel::Bool::(kernel::Object::==)"
172 typedef val_t (* kernel___Bool_____neq_t)(val_t self, val_t param0);
173 val_t kernel___Bool_____neq(val_t self, val_t param0);
174 #define LOCATE_kernel___Bool_____neq "kernel::Bool::(kernel::Object::!=)"
175 typedef void (* kernel___Bool___output_t)(val_t self);
176 void kernel___Bool___output(val_t self);
177 #define LOCATE_kernel___Bool___output "kernel::Bool::(kernel::Object::output)"
178 typedef val_t (* kernel___Float___object_id_t)(val_t self);
179 val_t kernel___Float___object_id(val_t self);
180 #define LOCATE_kernel___Float___object_id "kernel::Float::(kernel::Object::object_id)"
181 typedef void (* kernel___Float___output_t)(val_t self);
182 void kernel___Float___output(val_t self);
183 #define LOCATE_kernel___Float___output "kernel::Float::(kernel::Object::output)"
184 typedef val_t (* kernel___Float_____leq_t)(val_t self, val_t param0);
185 val_t kernel___Float_____leq(val_t self, val_t param0);
186 #define LOCATE_kernel___Float_____leq "kernel::Float::<="
187 typedef val_t (* kernel___Float_____l_t)(val_t self, val_t param0);
188 val_t kernel___Float_____l(val_t self, val_t param0);
189 #define LOCATE_kernel___Float_____l "kernel::Float::<"
190 typedef val_t (* kernel___Float_____geq_t)(val_t self, val_t param0);
191 val_t kernel___Float_____geq(val_t self, val_t param0);
192 #define LOCATE_kernel___Float_____geq "kernel::Float::>="
193 typedef val_t (* kernel___Float_____g_t)(val_t self, val_t param0);
194 val_t kernel___Float_____g(val_t self, val_t param0);
195 #define LOCATE_kernel___Float_____g "kernel::Float::>"
196 typedef val_t (* kernel___Float_____plus_t)(val_t self, val_t param0);
197 val_t kernel___Float_____plus(val_t self, val_t param0);
198 #define LOCATE_kernel___Float_____plus "kernel::Float::+"
199 typedef val_t (* kernel___Float___unary__minus_t)(val_t self);
200 val_t kernel___Float___unary__minus(val_t self);
201 #define LOCATE_kernel___Float___unary__minus "kernel::Float::unary -"
202 typedef val_t (* kernel___Float_____minus_t)(val_t self, val_t param0);
203 val_t kernel___Float_____minus(val_t self, val_t param0);
204 #define LOCATE_kernel___Float_____minus "kernel::Float::-"
205 typedef val_t (* kernel___Float_____star_t)(val_t self, val_t param0);
206 val_t kernel___Float_____star(val_t self, val_t param0);
207 #define LOCATE_kernel___Float_____star "kernel::Float::*"
208 typedef val_t (* kernel___Float_____slash_t)(val_t self, val_t param0);
209 val_t kernel___Float_____slash(val_t self, val_t param0);
210 #define LOCATE_kernel___Float_____slash "kernel::Float::/"
211 typedef val_t (* kernel___Float___to_i_t)(val_t self);
212 val_t kernel___Float___to_i(val_t self);
213 #define LOCATE_kernel___Float___to_i "kernel::Float::to_i"
214 typedef val_t (* kernel___Int___object_id_t)(val_t self);
215 val_t kernel___Int___object_id(val_t self);
216 #define LOCATE_kernel___Int___object_id "kernel::Int::(kernel::Object::object_id)"
217 typedef val_t (* kernel___Int_____eqeq_t)(val_t self, val_t param0);
218 val_t kernel___Int_____eqeq(val_t self, val_t param0);
219 #define LOCATE_kernel___Int_____eqeq "kernel::Int::(kernel::Object::==)"
220 typedef val_t (* kernel___Int_____neq_t)(val_t self, val_t param0);
221 val_t kernel___Int_____neq(val_t self, val_t param0);
222 #define LOCATE_kernel___Int_____neq "kernel::Int::(kernel::Object::!=)"
223 typedef void (* kernel___Int___output_t)(val_t self);
224 void kernel___Int___output(val_t self);
225 #define LOCATE_kernel___Int___output "kernel::Int::(kernel::Object::output)"
226 typedef val_t (* kernel___Int_____leq_t)(val_t self, val_t param0);
227 val_t kernel___Int_____leq(val_t self, val_t param0);
228 #define LOCATE_kernel___Int_____leq "kernel::Int::(kernel::Comparable::<=)"
229 typedef val_t (* kernel___Int_____l_t)(val_t self, val_t param0);
230 val_t kernel___Int_____l(val_t self, val_t param0);
231 #define LOCATE_kernel___Int_____l "kernel::Int::(kernel::Comparable::<)"
232 typedef val_t (* kernel___Int_____geq_t)(val_t self, val_t param0);
233 val_t kernel___Int_____geq(val_t self, val_t param0);
234 #define LOCATE_kernel___Int_____geq "kernel::Int::(kernel::Comparable::>=)"
235 typedef val_t (* kernel___Int_____g_t)(val_t self, val_t param0);
236 val_t kernel___Int_____g(val_t self, val_t param0);
237 #define LOCATE_kernel___Int_____g "kernel::Int::(kernel::Comparable::>)"
238 typedef val_t (* kernel___Int_____plus_t)(val_t self, val_t param0);
239 val_t kernel___Int_____plus(val_t self, val_t param0);
240 #define LOCATE_kernel___Int_____plus "kernel::Int::(kernel::Discrete::+)"
241 typedef val_t (* kernel___Int___unary__minus_t)(val_t self);
242 val_t kernel___Int___unary__minus(val_t self);
243 #define LOCATE_kernel___Int___unary__minus "kernel::Int::unary -"
244 typedef val_t (* kernel___Int_____minus_t)(val_t self, val_t param0);
245 val_t kernel___Int_____minus(val_t self, val_t param0);
246 #define LOCATE_kernel___Int_____minus "kernel::Int::(kernel::Discrete::-)"
247 typedef val_t (* kernel___Int_____star_t)(val_t self, val_t param0);
248 val_t kernel___Int_____star(val_t self, val_t param0);
249 #define LOCATE_kernel___Int_____star "kernel::Int::*"
250 typedef val_t (* kernel___Int_____slash_t)(val_t self, val_t param0);
251 val_t kernel___Int_____slash(val_t self, val_t param0);
252 #define LOCATE_kernel___Int_____slash "kernel::Int::/"
253 typedef val_t (* kernel___Int_____percent_t)(val_t self, val_t param0);
254 val_t kernel___Int_____percent(val_t self, val_t param0);
255 #define LOCATE_kernel___Int_____percent "kernel::Int::%"
256 typedef val_t (* kernel___Int___lshift_t)(val_t self, val_t param0);
257 val_t kernel___Int___lshift(val_t self, val_t param0);
258 #define LOCATE_kernel___Int___lshift "kernel::Int::lshift"
259 typedef val_t (* kernel___Int___rshift_t)(val_t self, val_t param0);
260 val_t kernel___Int___rshift(val_t self, val_t param0);
261 #define LOCATE_kernel___Int___rshift "kernel::Int::rshift"
262 typedef val_t (* kernel___Int___to_f_t)(val_t self);
263 val_t kernel___Int___to_f(val_t self);
264 #define LOCATE_kernel___Int___to_f "kernel::Int::to_f"
265 typedef val_t (* kernel___Int___succ_t)(val_t self);
266 val_t kernel___Int___succ(val_t self);
267 #define LOCATE_kernel___Int___succ "kernel::Int::(kernel::Discrete::succ)"
268 typedef val_t (* kernel___Int___prec_t)(val_t self);
269 val_t kernel___Int___prec(val_t self);
270 #define LOCATE_kernel___Int___prec "kernel::Int::(kernel::Discrete::prec)"
271 typedef val_t (* kernel___Int___distance_t)(val_t self, val_t param0);
272 val_t kernel___Int___distance(val_t self, val_t param0);
273 #define LOCATE_kernel___Int___distance "kernel::Int::(kernel::Discrete::distance)"
274 typedef val_t (* kernel___Int_____leqg_t)(val_t self, val_t param0);
275 val_t kernel___Int_____leqg(val_t self, val_t param0);
276 #define LOCATE_kernel___Int_____leqg "kernel::Int::(kernel::Comparable::<=>)"
277 typedef val_t (* kernel___Int___is_between_t)(val_t self, val_t param0, val_t param1);
278 val_t kernel___Int___is_between(val_t self, val_t param0, val_t param1);
279 #define LOCATE_kernel___Int___is_between "kernel::Int::(kernel::Comparable::is_between)"
280 typedef val_t (* kernel___Int___max_t)(val_t self, val_t param0);
281 val_t kernel___Int___max(val_t self, val_t param0);
282 #define LOCATE_kernel___Int___max "kernel::Int::(kernel::Comparable::max)"
283 typedef val_t (* kernel___Int___min_t)(val_t self, val_t param0);
284 val_t kernel___Int___min(val_t self, val_t param0);
285 #define LOCATE_kernel___Int___min "kernel::Int::(kernel::Comparable::min)"
286 typedef val_t (* kernel___Int___ascii_t)(val_t self);
287 val_t kernel___Int___ascii(val_t self);
288 #define LOCATE_kernel___Int___ascii "kernel::Int::ascii"
289 typedef val_t (* kernel___Int___digit_count_t)(val_t self, val_t param0);
290 val_t kernel___Int___digit_count(val_t self, val_t param0);
291 #define LOCATE_kernel___Int___digit_count "kernel::Int::digit_count"
292 typedef val_t (* kernel___Int___to_c_t)(val_t self);
293 val_t kernel___Int___to_c(val_t self);
294 #define LOCATE_kernel___Int___to_c "kernel::Int::to_c"
295 typedef val_t (* kernel___Char___object_id_t)(val_t self);
296 val_t kernel___Char___object_id(val_t self);
297 #define LOCATE_kernel___Char___object_id "kernel::Char::(kernel::Object::object_id)"
298 typedef val_t (* kernel___Char_____eqeq_t)(val_t self, val_t param0);
299 val_t kernel___Char_____eqeq(val_t self, val_t param0);
300 #define LOCATE_kernel___Char_____eqeq "kernel::Char::(kernel::Object::==)"
301 typedef val_t (* kernel___Char_____neq_t)(val_t self, val_t param0);
302 val_t kernel___Char_____neq(val_t self, val_t param0);
303 #define LOCATE_kernel___Char_____neq "kernel::Char::(kernel::Object::!=)"
304 typedef void (* kernel___Char___output_t)(val_t self);
305 void kernel___Char___output(val_t self);
306 #define LOCATE_kernel___Char___output "kernel::Char::(kernel::Object::output)"
307 typedef val_t (* kernel___Char_____leq_t)(val_t self, val_t param0);
308 val_t kernel___Char_____leq(val_t self, val_t param0);
309 #define LOCATE_kernel___Char_____leq "kernel::Char::(kernel::Comparable::<=)"
310 typedef val_t (* kernel___Char_____l_t)(val_t self, val_t param0);
311 val_t kernel___Char_____l(val_t self, val_t param0);
312 #define LOCATE_kernel___Char_____l "kernel::Char::(kernel::Comparable::<)"
313 typedef val_t (* kernel___Char_____geq_t)(val_t self, val_t param0);
314 val_t kernel___Char_____geq(val_t self, val_t param0);
315 #define LOCATE_kernel___Char_____geq "kernel::Char::(kernel::Comparable::>=)"
316 typedef val_t (* kernel___Char_____g_t)(val_t self, val_t param0);
317 val_t kernel___Char_____g(val_t self, val_t param0);
318 #define LOCATE_kernel___Char_____g "kernel::Char::(kernel::Comparable::>)"
319 typedef val_t (* kernel___Char___succ_t)(val_t self);
320 val_t kernel___Char___succ(val_t self);
321 #define LOCATE_kernel___Char___succ "kernel::Char::(kernel::Discrete::succ)"
322 typedef val_t (* kernel___Char___prec_t)(val_t self);
323 val_t kernel___Char___prec(val_t self);
324 #define LOCATE_kernel___Char___prec "kernel::Char::(kernel::Discrete::prec)"
325 typedef val_t (* kernel___Char___distance_t)(val_t self, val_t param0);
326 val_t kernel___Char___distance(val_t self, val_t param0);
327 #define LOCATE_kernel___Char___distance "kernel::Char::(kernel::Discrete::distance)"
328 typedef val_t (* kernel___Char___to_i_t)(val_t self);
329 val_t kernel___Char___to_i(val_t self);
330 #define LOCATE_kernel___Char___to_i "kernel::Char::to_i"
331 typedef val_t (* kernel___Char___ascii_t)(val_t self);
332 val_t kernel___Char___ascii(val_t self);
333 #define LOCATE_kernel___Char___ascii "kernel::Char::ascii"
334 typedef val_t (* kernel___Char_____plus_t)(val_t self, val_t param0);
335 val_t kernel___Char_____plus(val_t self, val_t param0);
336 #define LOCATE_kernel___Char_____plus "kernel::Char::(kernel::Discrete::+)"
337 typedef val_t (* kernel___Char_____minus_t)(val_t self, val_t param0);
338 val_t kernel___Char_____minus(val_t self, val_t param0);
339 #define LOCATE_kernel___Char_____minus "kernel::Char::(kernel::Discrete::-)"
340 typedef val_t (* kernel___Char___to_lower_t)(val_t self);
341 val_t kernel___Char___to_lower(val_t self);
342 #define LOCATE_kernel___Char___to_lower "kernel::Char::to_lower"
343 typedef val_t (* kernel___Char___to_upper_t)(val_t self);
344 val_t kernel___Char___to_upper(val_t self);
345 #define LOCATE_kernel___Char___to_upper "kernel::Char::to_upper"
346 #endif