1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Licensed under the Apache License, Version 2.0 (the "License");
4 # you may not use this file except in compliance with the License.
5 # You may obtain a copy of the License at
7 # http://www.apache.org/licenses/LICENSE-2.0
9 # Unless required by applicable law or agreed to in writing, software
10 # distributed under the License is distributed on an "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 # See the License for the specific language governing permissions and
13 # limitations under the License.
15 # This module provides functional type to represents various function forms.
16 # Function types can hold up to 20 arguments. The type `Fun` is for function
17 # (input and output) and `Proc` is for procedure (input but no output).
18 # This file is automatically generated, do not edit it manually.
19 module functional_types
29 interface Fun0[RESULT]
31 fun call
: RESULT is abstract
37 interface Fun1[A0,RESULT]
39 fun call
(a0
: A0): RESULT is abstract
43 fun call
(a0
: A0) is abstract
45 interface Fun2[A0,A1,RESULT]
47 fun call
(a0
: A0,a1
: A1): RESULT is abstract
49 interface Proc2[A0,A1]
51 fun call
(a0
: A0,a1
: A1) is abstract
53 interface Fun3[A0,A1,A2,RESULT]
55 fun call
(a0
: A0,a1
: A1,a2
: A2): RESULT is abstract
57 interface Proc3[A0,A1,A2]
59 fun call
(a0
: A0,a1
: A1,a2
: A2) is abstract
61 interface Fun4[A0,A1,A2,A3,RESULT]
63 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3): RESULT is abstract
65 interface Proc4[A0,A1,A2,A3]
67 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3) is abstract
69 interface Fun5[A0,A1,A2,A3,A4,RESULT]
71 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4): RESULT is abstract
73 interface Proc5[A0,A1,A2,A3,A4]
75 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4) is abstract
77 interface Fun6[A0,A1,A2,A3,A4,A5,RESULT]
79 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5): RESULT is abstract
81 interface Proc6[A0,A1,A2,A3,A4,A5]
83 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5) is abstract
85 interface Fun7[A0,A1,A2,A3,A4,A5,A6,RESULT]
87 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6): RESULT is abstract
89 interface Proc7[A0,A1,A2,A3,A4,A5,A6]
91 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6) is abstract
93 interface Fun8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
95 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7): RESULT is abstract
97 interface Proc8[A0,A1,A2,A3,A4,A5,A6,A7]
99 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7) is abstract
101 interface Fun9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
103 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8): RESULT is abstract
105 interface Proc9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
107 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8) is abstract
109 interface Fun10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
111 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9): RESULT is abstract
113 interface Proc10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
115 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9) is abstract
117 interface Fun11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
119 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10): RESULT is abstract
121 interface Proc11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
123 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10) is abstract
125 interface Fun12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
127 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11): RESULT is abstract
129 interface Proc12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
131 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11) is abstract
133 interface Fun13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
135 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12): RESULT is abstract
137 interface Proc13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
139 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12) is abstract
141 interface Fun14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
143 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13): RESULT is abstract
145 interface Proc14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
147 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13) is abstract
149 interface Fun15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
151 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14): RESULT is abstract
153 interface Proc15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
155 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14) is abstract
157 interface Fun16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
159 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15): RESULT is abstract
161 interface Proc16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
163 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15) is abstract
165 interface Fun17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
167 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16): RESULT is abstract
169 interface Proc17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
171 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16) is abstract
173 interface Fun18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
175 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16,a17
: A17): RESULT is abstract
177 interface Proc18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
179 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16,a17
: A17) is abstract
181 interface Fun19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
183 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16,a17
: A17,a18
: A18): RESULT is abstract
185 interface Proc19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
187 fun call
(a0
: A0,a1
: A1,a2
: A2,a3
: A3,a4
: A4,a5
: A5,a6
: A6,a7
: A7,a8
: A8,a9
: A9,a10
: A10,a11
: A11,a12
: A12,a13
: A13,a14
: A14,a15
: A15,a16
: A16,a17
: A17,a18
: A18) is abstract
189 universal FunRef0[RESULT]
191 redef fun call
: RESULT is intern
195 redef fun call
is intern
197 universal FunRef1[A0,RESULT]
198 super Fun1[A0,RESULT]
199 redef fun call
(a0
): RESULT is intern
201 universal ProcRef1[A0]
203 redef fun call
(a0
) is intern
205 universal FunRef2[A0,A1,RESULT]
206 super Fun2[A0,A1,RESULT]
207 redef fun call
(a0
,a1
): RESULT is intern
209 universal ProcRef2[A0,A1]
211 redef fun call
(a0
,a1
) is intern
213 universal FunRef3[A0,A1,A2,RESULT]
214 super Fun3[A0,A1,A2,RESULT]
215 redef fun call
(a0
,a1
,a2
): RESULT is intern
217 universal ProcRef3[A0,A1,A2]
218 super Proc3[A0,A1,A2]
219 redef fun call
(a0
,a1
,a2
) is intern
221 universal FunRef4[A0,A1,A2,A3,RESULT]
222 super Fun4[A0,A1,A2,A3,RESULT]
223 redef fun call
(a0
,a1
,a2
,a3
): RESULT is intern
225 universal ProcRef4[A0,A1,A2,A3]
226 super Proc4[A0,A1,A2,A3]
227 redef fun call
(a0
,a1
,a2
,a3
) is intern
229 universal FunRef5[A0,A1,A2,A3,A4,RESULT]
230 super Fun5[A0,A1,A2,A3,A4,RESULT]
231 redef fun call
(a0
,a1
,a2
,a3
,a4
): RESULT is intern
233 universal ProcRef5[A0,A1,A2,A3,A4]
234 super Proc5[A0,A1,A2,A3,A4]
235 redef fun call
(a0
,a1
,a2
,a3
,a4
) is intern
237 universal FunRef6[A0,A1,A2,A3,A4,A5,RESULT]
238 super Fun6[A0,A1,A2,A3,A4,A5,RESULT]
239 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
): RESULT is intern
241 universal ProcRef6[A0,A1,A2,A3,A4,A5]
242 super Proc6[A0,A1,A2,A3,A4,A5]
243 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
) is intern
245 universal FunRef7[A0,A1,A2,A3,A4,A5,A6,RESULT]
246 super Fun7[A0,A1,A2,A3,A4,A5,A6,RESULT]
247 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
): RESULT is intern
249 universal ProcRef7[A0,A1,A2,A3,A4,A5,A6]
250 super Proc7[A0,A1,A2,A3,A4,A5,A6]
251 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
) is intern
253 universal FunRef8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
254 super Fun8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
255 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
): RESULT is intern
257 universal ProcRef8[A0,A1,A2,A3,A4,A5,A6,A7]
258 super Proc8[A0,A1,A2,A3,A4,A5,A6,A7]
259 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
) is intern
261 universal FunRef9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
262 super Fun9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
263 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
): RESULT is intern
265 universal ProcRef9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
266 super Proc9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
267 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
) is intern
269 universal FunRef10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
270 super Fun10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
271 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
): RESULT is intern
273 universal ProcRef10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
274 super Proc10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
275 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
) is intern
277 universal FunRef11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
278 super Fun11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
279 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
): RESULT is intern
281 universal ProcRef11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
282 super Proc11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
283 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
) is intern
285 universal FunRef12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
286 super Fun12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
287 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
): RESULT is intern
289 universal ProcRef12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
290 super Proc12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
291 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
) is intern
293 universal FunRef13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
294 super Fun13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
295 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
): RESULT is intern
297 universal ProcRef13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
298 super Proc13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
299 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
) is intern
301 universal FunRef14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
302 super Fun14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
303 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
): RESULT is intern
305 universal ProcRef14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
306 super Proc14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
307 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
) is intern
309 universal FunRef15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
310 super Fun15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
311 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
): RESULT is intern
313 universal ProcRef15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
314 super Proc15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
315 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
) is intern
317 universal FunRef16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
318 super Fun16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
319 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
): RESULT is intern
321 universal ProcRef16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
322 super Proc16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
323 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
) is intern
325 universal FunRef17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
326 super Fun17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
327 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
): RESULT is intern
329 universal ProcRef17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
330 super Proc17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
331 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
) is intern
333 universal FunRef18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
334 super Fun18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
335 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
,a17
): RESULT is intern
337 universal ProcRef18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
338 super Proc18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
339 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
,a17
) is intern
341 universal FunRef19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
342 super Fun19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
343 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
,a17
,a18
): RESULT is intern
345 universal ProcRef19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
346 super Proc19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
347 redef fun call
(a0
,a1
,a2
,a3
,a4
,a5
,a6
,a7
,a8
,a9
,a10
,a11
,a12
,a13
,a14
,a15
,a16
,a17
,a18
) is intern