lib/functional/functional_types.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   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
   6 #
   7 #     http://www.apache.org/licenses/LICENSE-2.0
   8 #
   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.
  14
  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
  20
  21 interface Routine
  22 end
  23 interface Fun
  24         super Routine
  25 end
  26 interface Proc
  27         super Routine
  28 end
  29 interface Fun0[RESULT]
  30         super Fun
  31         fun call: RESULT is abstract
  32 end
  33 interface Proc0
  34         super Proc
  35         fun call is abstract
  36 end
  37 interface Fun1[A0,RESULT]
  38         super Fun
  39         fun call(a0: A0): RESULT is abstract
  40 end
  41 interface Proc1[A0]
  42         super Proc
  43         fun call(a0: A0) is abstract
  44 end
  45 interface Fun2[A0,A1,RESULT]
  46         super Fun
  47         fun call(a0: A0,a1: A1): RESULT is abstract
  48 end
  49 interface Proc2[A0,A1]
  50         super Proc
  51         fun call(a0: A0,a1: A1) is abstract
  52 end
  53 interface Fun3[A0,A1,A2,RESULT]
  54         super Fun
  55         fun call(a0: A0,a1: A1,a2: A2): RESULT is abstract
  56 end
  57 interface Proc3[A0,A1,A2]
  58         super Proc
  59         fun call(a0: A0,a1: A1,a2: A2) is abstract
  60 end
  61 interface Fun4[A0,A1,A2,A3,RESULT]
  62         super Fun
  63         fun call(a0: A0,a1: A1,a2: A2,a3: A3): RESULT is abstract
  64 end
  65 interface Proc4[A0,A1,A2,A3]
  66         super Proc
  67         fun call(a0: A0,a1: A1,a2: A2,a3: A3) is abstract
  68 end
  69 interface Fun5[A0,A1,A2,A3,A4,RESULT]
  70         super Fun
  71         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4): RESULT is abstract
  72 end
  73 interface Proc5[A0,A1,A2,A3,A4]
  74         super Proc
  75         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4) is abstract
  76 end
  77 interface Fun6[A0,A1,A2,A3,A4,A5,RESULT]
  78         super Fun
  79         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5): RESULT is abstract
  80 end
  81 interface Proc6[A0,A1,A2,A3,A4,A5]
  82         super Proc
  83         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5) is abstract
  84 end
  85 interface Fun7[A0,A1,A2,A3,A4,A5,A6,RESULT]
  86         super Fun
  87         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6): RESULT is abstract
  88 end
  89 interface Proc7[A0,A1,A2,A3,A4,A5,A6]
  90         super Proc
  91         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6) is abstract
  92 end
  93 interface Fun8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
  94         super Fun
  95         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7): RESULT is abstract
  96 end
  97 interface Proc8[A0,A1,A2,A3,A4,A5,A6,A7]
  98         super Proc
  99         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7) is abstract
 100 end
 101 interface Fun9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
 102         super Fun
 103         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8): RESULT is abstract
 104 end
 105 interface Proc9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
 106         super Proc
 107         fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8) is abstract
 108 end
 109 interface Fun10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
 110         super Fun
 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
 112 end
 113 interface Proc10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
 114         super Proc
 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
 116 end
 117 interface Fun11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
 118         super Fun
 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
 120 end
 121 interface Proc11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
 122         super Proc
 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
 124 end
 125 interface Fun12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
 126         super Fun
 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
 128 end
 129 interface Proc12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
 130         super Proc
 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
 132 end
 133 interface Fun13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
 134         super Fun
 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
 136 end
 137 interface Proc13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
 138         super Proc
 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
 140 end
 141 interface Fun14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
 142         super Fun
 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
 144 end
 145 interface Proc14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
 146         super Proc
 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
 148 end
 149 interface Fun15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
 150         super Fun
 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
 152 end
 153 interface Proc15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
 154         super Proc
 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
 156 end
 157 interface Fun16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
 158         super Fun
 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
 160 end
 161 interface Proc16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
 162         super Proc
 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
 164 end
 165 interface Fun17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
 166         super Fun
 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
 168 end
 169 interface Proc17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
 170         super Proc
 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
 172 end
 173 interface Fun18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
 174         super Fun
 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
 176 end
 177 interface Proc18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
 178         super Proc
 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
 180 end
 181 interface Fun19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
 182         super Fun
 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
 184 end
 185 interface Proc19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
 186         super Proc
 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
 188 end
 189 universal FunRef0[RESULT]
 190         super Fun0[RESULT]
 191         redef fun call: RESULT is intern
 192 end
 193 universal ProcRef0
 194         super Proc0
 195         redef fun call is intern
 196 end
 197 universal FunRef1[A0,RESULT]
 198         super Fun1[A0,RESULT]
 199         redef fun call(a0): RESULT is intern
 200 end
 201 universal ProcRef1[A0]
 202         super Proc1[A0]
 203         redef fun call(a0) is intern
 204 end
 205 universal FunRef2[A0,A1,RESULT]
 206         super Fun2[A0,A1,RESULT]
 207         redef fun call(a0,a1): RESULT is intern
 208 end
 209 universal ProcRef2[A0,A1]
 210         super Proc2[A0,A1]
 211         redef fun call(a0,a1) is intern
 212 end
 213 universal FunRef3[A0,A1,A2,RESULT]
 214         super Fun3[A0,A1,A2,RESULT]
 215         redef fun call(a0,a1,a2): RESULT is intern
 216 end
 217 universal ProcRef3[A0,A1,A2]
 218         super Proc3[A0,A1,A2]
 219         redef fun call(a0,a1,a2) is intern
 220 end
 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
 224 end
 225 universal ProcRef4[A0,A1,A2,A3]
 226         super Proc4[A0,A1,A2,A3]
 227         redef fun call(a0,a1,a2,a3) is intern
 228 end
 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
 232 end
 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
 236 end
 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
 240 end
 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
 244 end
 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
 248 end
 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
 252 end
 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
 256 end
 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
 260 end
 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
 264 end
 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
 268 end
 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
 272 end
 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
 276 end
 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
 280 end
 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
 284 end
 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
 288 end
 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
 292 end
 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
 296 end
 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
 300 end
 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
 304 end
 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
 308 end
 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
 312 end
 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
 316 end
 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
 320 end
 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
 324 end
 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
 328 end
 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
 332 end
 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
 336 end
 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
 340 end
 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
 344 end
 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
 348 end
 349 universal RoutineRef
 350 end