豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546

寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编纯调用复用」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。

「：文言：纯整之工以内整数行，外仍守通值之约。汉语：仅专门化纯整数函数；所有参数必须在入口无条件的整数原语序列中被检查，不能以分支内的使用推断入口类型。外部入口保留引用 ABI。：」
「可专整术」乃化「字符串」而「爻」也。
「可专整术」者会「名」而
  鉴「名」而
    有『豫言_整数加』则「阳」
    或有『豫言_整数减』则「阳」
    或有『豫言_整数乘』则「阳」
    或有『豫言_整数相等』则「阳」
    或有『豫言_整数大于』则「阳」
    或有「其他」则「阴」
也。

「专整术」乃化「字符串」而「回收串」也。
「专整术」者会「名」而
  鉴「名」而
    有『豫言_整数加』则
      「回收单令」于「回收整六四加」
    或有『豫言_整数减』则
      「回收单令」于「回收整六四减」
    或有『豫言_整数乘』则
      「回收单令」于「回收整六四乘」
    或有『豫言_整数相等』则
      「回收令列」于（「列」【「回收整六四相等」，「回收整三二无符号扩六四」】）
    或有『豫言_整数大于』则
      「回收令列」于（「列」【「回收整六四有符号大于」，「回收整三二无符号扩六四」】）
    或有「其他」则「回收空串」
也。

「可专整原子」乃化「正则原子」而「爻」也。
「可专整原子」者会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则「阳」
    或有（「正则整数」于「数」）则「阳」
    或有（「正则爻」于「真」）则「阳」
    或有「其他」则「阴」
也。

「可专整诸原子」乃化（「列」于「正则原子」）而「爻」也。
「可专整诸原子」者会「诸值」而
  鉴「诸值」而
    有「罄」则「阳」
    或有（「缀」于「值」于「余」）则
      若「可专整原子」于「值」则「可专整诸原子」于「余」否则「阴」
也。

「：文言：整非皆可作爻，判支须证小整之界。汉语：纯整数入口只有在条件必能表示为 i31 时才允许裸判断；比较结果及范围内常量可证，任意整数算术结果不可据类型标注推定，防止消除原有类型陷阱。：」
「专整小值」乃化（「数组引用类」于「爻」）而化「正则原子」而「爻」也。
「专整小值」者会「表」而会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则
      「读数组引用」授以「爻」于「表」于「号」
    或有（「正则整数」于「数」）则
      「且」
        于（「非」于（「小于」于「数」于（「减」于「零」于「小整界」）））
        于（「小于」于「数」于「小整界」）
    或有（「正则爻」于「真」）则「阳」
    或有「其他」则「阴」
也。

「专整段小果」乃化（「数组引用类」于「爻」）而化「正则区域」而「爻」也。
「专整段小果」者会「表」而会「段」而
  鉴「段」而
    有（「正则段」于「令」于「终」）则
      鉴「终」而
        有（「正则产出」于「值」）则
          「专整小值」于「表」于「值」
        或有「其他」则「阴」
也。

「可专整函数」乃化「正则函数」而「爻」也。
「可专整函数」者会「函」而
  虑「参数数」者「长度」授以「整数」于（「函」中「二」）而
  虑「已验」者「新数组引用」授以「爻」于「阴」于「参数数」而
  虑「小位」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
  虑「无」者
    （
      鉴（「函」中「三」）而
        有（「正则段」于「根令」于「根终」）则（
          递归虑「验根」其化（「列」于「正则指令」）而「有」者会「令们」而
            鉴「令们」而
              有（「缀」于（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）于「余」）则
                若「非」于（「可专整术」于「名」）则
                  「元」
                否则
                  （「态射」授以「正则原子」授以「有」
                    于「参」
                    于（会「值」而鉴「值」而
                      有（「正则局部」于「位」）则
                        若「小于」于「位」于「参数数」则
                          「写数组引用」授以「爻」于「已验」于「位」于「阳」
                        否则
                          「元」
                      或有「其他」则「元」）；
                    「验根」于「余」）
              或有「其他」则
                「元」
          而
          「验根」于「根令」
        ）
    ）
  而
  递归虑「查段」其化「正则区域」而「爻」者会「段」而
    鉴「段」而
      有（「正则段」于「诸令」于「终」）则（
        递归虑「查令」其化（「列」于「正则指令」）而「爻」者会「令们」而
          鉴「令们」而
            有「罄」则「阳」
            或有（「缀」于「令」于「余」）则（
              虑「可」者鉴「令」而
                有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则
                  若「非」于（「可专整术」于「名」）则
                    「阴」
                  否则
                    若「非」于（「等于」于（「长度」授以「正则原子」于「参」）于「二」）则
                      「阴」
                    否则
                      （
                        虑「无」者
                          若「或者」
                            于（「串相等」于「名」于『豫言_整数相等』）
                            于（「串相等」于「名」于『豫言_整数大于』）则
                              「写数组引用」授以「爻」
                              于「小位」于「号」于「阳」
                          否则
                            「元」
                        而
                        「可专整诸原子」于「参」
                      ）
                或有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））则
                  「：文言：尾递之约不可损。汉语：首版整数内核暂不接收区域末尾自调用，避免将原后端的尾调用退化为增长栈的普通调用。：」
              若「正则结果可尾」于「阳」于「号」于「终」则
                「阴」
              否则
                若「串相等」于「名」于（「函」中「零」）则
                  「且」
                    于（「等于」于（「长度」授以「正则原子」于「参」）于「参数数」）
                    于（「可专整诸原子」于「参」）
                否则
                  「阴」
                或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
                  若「专整小值」于「小位」于「条件」则
                    若「查段」于「阳体」则
                      若「查段」于「阴体」则（
                        虑「无」者
                          「写数组引用」授以「爻」
                          于「小位」
                          于「号」
                          于（「且」于（「专整段小果」于「小位」于「阳体」）于（「专整段小果」于「小位」于「阴体」））
                        而
                        「阳」
                      ）否则「阴」
                    否则
                      「阴」
                  否则
                    「阴」
                或有「其他」则
                  「阴」
              而
              若「可」则「查令」于「余」否则「阴」
            ）
        而
        若「查令」于「诸令」则鉴「终」而
          有（「正则产出」于「值」）则
            「可专整原子」于「值」
          或有（「正则返回」于「值」）则
            「可专整原子」于「值」
          或有「其他」则「阴」
        否则
          「阴」
      ）
  而
  若「查段」于（「函」中「三」）则（
    递归虑「齐验」其化「整数」而「爻」者会「位」而
      若「等于」于「位」于「参数数」则「阳」否则
        若「读数组引用」授以「爻」于「已验」于「位」则「齐验」
        于（「加」于「位」于「一」）
        否则
          「阴」
    而
    「且」于（「大于」于「参数数」于「零」）于（「齐验」于「零」）
  ）否则「阴」
也。

「专整局部」乃化「整数」而「字符串」也。
「专整局部」者会「号」而
  『$i』附（「整数表示」于「号」）
也。

「写专整原子」乃化「正则原子」而「回收串」也。
「写专整原子」者会「值」而
  鉴「值」而
    有（「正则局部」于「号」）则
      「回收单令」于（「回收局部取」于（「专整局部」于「号」））
    或有（「正则整数」于「数」）则
      「回收单令」于（「回收整六四常」于「数」）
    或有（「正则爻」于「真」）则
      「回收单令」于（「回收整六四常」于（
        若「真」则「一」否则「零」））
    或有「其他」则
      「发生事故」授以「回收串」于『整数专门化遇到非整数原子』
也。

「写专整诸原子」乃化（「列」于「正则原子」）而「回收串」也。
「写专整诸原子」者会「诸值」而
  「回收拼」于（「态射」授以「正则原子」授以「回收串」于「诸值」于「写专整原子」）
也。

「专整是局部」乃化「整数」而化「正则原子」而「爻」也。
「专整是局部」者会「号」而会「值」而
  鉴「值」而
    有（「正则局部」于「位」）则
      「等于」于「号」于「位」
    或有「其他」则「阴」
也。

「专整尾标」者「新引用」授以「字符串」于『$sum_loop』也。

「写专整段」乃化「字符串」而化「爻」而化「正则区域」而「回收串」也。
「写专整段」者会「工号」而会「尾位」而会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于「终」）则（
      虑「写令」者
        （化「爻」而化「正则指令」而「回收串」也会「尾」而会「令」而鉴「令」而
            有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则
              「回收拼」于（「列」【
                「写专整诸原子」于「参」，
                「专整术」于「名」，
                「回收单令」于（「回收局部存」于（「专整局部」于「号」））
              】）
            或有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于「头」于「参」））则
              「回收拼」于（「列」【
                「写专整诸原子」于「参」，
                「回收单令」于（「回收调用」于（『$n』附「工号」）），
                「回收单令」于（「回收局部存」于（「专整局部」于「号」））
              】）
            或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
              「回收拼」于（「列」【
                「写专整原子」于「条件」，
                「回收令列」于（「列」【
                  「回收整六四常」于「零」，
                  「回收整六四不等」，
                  「回收若」于『』于（「回收块单果」于「回收整六四」）
                】），
                「写专整段」于「工号」于「尾」于「阳体」，
                「回收单令」于「回收否则」，
                「写专整段」于「工号」于「尾」于「阴体」，
                「回收令列」于（「列」【「回收结束」，「回收局部存」于（「专整局部」于「号」）】）
              】）
            或有「其他」则
              「发生事故」授以「回收串」于『整数专门化遇到未验证指令』
        ）而
        虑「终文」者鉴「终」而
          有（「正则产出」于「值」）则
            「写专整原子」于「值」
          或有（「正则返回」于「值」）则
            「回收拼」
              于（「列」【
                「写专整原子」于「值」，
                「回收令列」于（「列」【「回收局部取」于『$acc』，「回收整六四加」，「回收返回」】）
              】）
          或有「其他」则
            「发生事故」授以「回收串」于『整数专门化遇到未验证结束式』而
        「：文言：诸片先聚而后一合。汉语：用片段列表线性组装长函数，避免逐指令拼接整个剩余文本。：」
      递归虑「写链」其化（「列」于「正则指令」）而化（「列」于「回收串」）而「回收串」者会「余」而会「片」而
      虑「收」者
        （化「回收串」而「回收串」也会「后」而「回收拼」于（「反转」于（「缀」于「后」于「片」）））
      而
      虑「折」者
        （「或可有」于（（「列」于「正则原子」）合「正则原子」）也鉴「余」而
            有（「列」【
              （「正则运算」于「递号」于「递类」于「正则调用」于（「缀」于「头」于「参」）），
              （「正则运算」于「和号」于「和类」于（「正则原语」于『豫言_整数加』）于（「列」【「甲」，「乙」】））
            】）则
              若「正则结果可尾」于「尾位」于「和号」于「终」则（
                若「专整是局部」于「递号」于「甲」则
                  （若「专整是局部」于「递号」于「乙」则「可无」否则「可有」于（「参」与「乙」））
                否则
                  若「专整是局部」于「递号」于「乙」则
                    「可有」于（「参」与「甲」）
                  否则
                    「可无」
              ）否则「可无」
            或有「其他」则「可无」）
      而
      鉴「折」而
        有（「可有」于（「参」与「加数」））则
          「：文言：纯整之和可累，递果重用则不折。汉语：只合并纯整数函数尾部的自调用与单次加法，i64 模加结合律保持回绕；先保存全部实参，再逆序赋值。：」
          「收」于（「回收拼」于（「列」【
            「回收单令」于（「回收局部取」于『$acc』），
            「写专整原子」于「加数」，
            「回收令列」于（「列」【「回收整六四加」，「回收局部存」于『$acc』】），
            「写专整诸原子」于「参」，
            「回收拼」于（「态射」授以「整数」授以「回收串」
              于（「反转」于（「整数范围」于「零」于（「长度」授以「正则原子」于「参」）））
              于（会「号」而「回收单令」于（「回收局部存」于（「专整局部」于「号」）））），
              若「串相等」于（「读引用」于「专整尾标」）于『』则
                「回收空串」
              否则
                  「回收单令」于（「回收跳」于（「回收名标」于（「读引用」于「专整尾标」）））
          】））
        或有「可无」则鉴「余」而
          有「罄」则「收」
            于「终文」
          或有（「列」【（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）】）则
            「收」于（「回收拼」于（「列」【
              「写令」
                于（「正则结果可尾」于「尾位」于「号」于「终」）
                于（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」），
                「终文」
            】））
          或有（「缀」于「头」于「后」）则
            「写链」于「后」于（「缀」于（「写令」于「阴」于「头」）于「片」）
      而
      「写链」于「诸令」于「罄」
    ）
也。

「专整直列」乃化「爻」而化（「列」于「正则指令」）而「爻」也。
「专整直列」者会「容递」而会「诸令」而
  鉴「诸令」而
    有「罄」则「阳」
    或有（「缀」于「令」于「余」）则
      虑「可」者
        鉴「令」而
          有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于「参」）则「阳」
          或有（「正则运算」于「号」于「类」于「正则调用」于「参」）则「容递」
          或有「其他」则
            「阴」而
      若「可」则「专整直列」于「容递」于「余」否则「阴」
也。

「专整直段」乃化「正则区域」而「爻」也。
「专整直段」者会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于（「正则产出」于「值」））则
      「专整直列」于「阴」于「诸令」
    或有「其他」则「阴」
也。

「专整尾加段」乃化「字符串」而化「正则区域」而「爻」也。
「专整尾加段」者会「自名」而会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于「终」）则（
      鉴「反转」授以「正则指令」于「诸令」而
        有（「缀」
          于（「正则运算」于「和号」于「和类」于（「正则原语」于『豫言_整数加』）于（「列」【「甲」，「乙」】））
          于（「缀」
            于（「正则运算」于「递号」于「递类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））
            于「前」））则
          若「且」
            于（「串相等」于「名」于「自名」）
            于（「正则结果可尾」于「阳」于「和号」于「终」）则
            若（若「专整是局部」于「递号」于「甲」则
              「非」于（「专整是局部」于「递号」于「乙」）
                否则
                  「专整是局部」于「递号」于「乙」）则「专整直列」
                  于「阳」于「前」
            否则
              「阴」
          否则
            「阴」
        或有「其他」则「阴」
    ）
也。

「：文言：首验而后行，递毕复验，免复绕首。汉语：只旋转根部单一终止分支、直线终止体及可折叠尾加法递归体；按原顺序更新参数并重算条件，保留 i64 回绕，不改变递归计算次数。：」
「写专整旋转」乃化「正则函数」而「或可有」于「回收串」也。
「写专整旋转」者会「函」而
  鉴（「函」中「三」）而
    有（「正则段」于「诸令」于「终」）则（
      鉴「反转」授以「正则指令」于「诸令」而
        有（「缀」于（「正则如果」于「果号」于「果类」于「条件」于「阳体」于「阴体」）于「反前」）则（
          虑「可终」者鉴「终」而
            有（「正则产出」于「值」）则
              「专整是局部」于「果号」于「值」
            或有「其他」则
              「阴」而
          若「非」于（「且」于「可终」于（「专整直列」于「阴」于「反前」））则
            「可无」
          否则
            虑「分」者
              （「或可有」于（「正则区域」合「正则区域」合「爻」）也
                若「且」
                  于（「专整直段」于「阳体」）
                  于（「专整尾加段」于（「函」中「零」）于「阴体」）则
                    「可有」于（「阴体」与「阳体」与「阳」）
                否则
                  若「且」
                    于（「专整直段」于「阴体」）
                    于（「专整尾加段」于（「函」中「零」）于「阳体」）则「可有」
                      于（「阳体」与「阴体」与「阴」）
                  否则
                    「可无」）而
            鉴「分」而
              有「可无」则「可无」
              或有（「可有」于（「递体」与「止体」与「止阳」））则（
                虑「工号」者「函数号」于（「函」中「零」）
                而
                虑「前文」者
                  「回收拼」
                    于（「列」【
                      「写专整段」
                        于「工号」
                        于「阴」
                        于（「正则段」于（「反转」于「反前」）于（「正则产出」于（「正则整数」于「零」））），
                        「回收单令」于「回收弃」
                    】）
                而
                虑「止文」者「写专整段」于「工号」于「阴」于「止体」
                而
                虑「无」者「写引用」于「专整尾标」于『』
                而
                虑「递文」者「写专整段」于「工号」于「阳」于「递体」
                而
                虑「无」者「写引用」于「专整尾标」于『$sum_loop』
                而
                虑「判文」者
                  （化「爻」而「回收串」也会「取真」而
                      虑「原判」者
                        （化「有」而「回收串」也会「无」而「回收拼」
                          于（「列」【
                            「写专整原子」于「条件」，
                            若「取真」则
                              「回收令列」
                                于（「列」【「回收整六四常」于「零」，「回收整六四不等」】）
                            否则
                                  「回收单令」于「回收整六四为零」
                          】）
                        ）而
                      鉴「反前」而
                        有（「缀」于（「正则运算」于「判号」于「判类」于（「正则原语」于「术」）于「参」）于「余」）则
                          若「专整是局部」于「判号」于「条件」则（
                            虑「判术」者
                              （「或可有」于「回收指令」也鉴「术」而
                                  有『豫言_整数相等』则
                                    「可有」
                                      于（
                                        若「取真」则
                                          「回收整六四相等」
                                        否则
                                          「回收整六四不等」）
                                  或有『豫言_整数大于』则
                                    「可有」
                                      于（
                                        若「取真」则
                                          「回收整六四有符号大于」
                                        否则
                                          「回收整六四有符号小等」）
                                  或有「其他」则
                                    「可无」授以「回收指令」）
                            而
                            （
                              鉴「判术」而
                                有「可无」则
                                  「原判」于「元」
                                或有（「可有」于「判令」）则
                                  「回收拼」
                                    于（「列」【「写专整诸原子」于「参」，「回收单令」于「判令」】）
                            ）
                          ）否则「原判」于「元」
                        或有「其他」则「原判」于「元」
                  ）
                而
                「可有」于（「回收拼」于（「列」【
                  「回收单令」于（「回收块」于『$sum_done』于「回收块无果」），
                  「前文」，
                  「判文」于「止阳」，
                  「回收令列」于（「列」【
                    「回收条件跳」于（「回收名标」于『$sum_done』），
                    「回收循环」于『$sum_loop』于「回收块无果」
                  】），
                  「递文」，
                  「前文」，
                  「判文」于（「非」于「止阳」），
                  「回收令列」于（「列」【
                    「回收条件跳」于（「回收名标」于『$sum_loop』），
                    「回收结束」，
                    「回收结束」
                  】），
                  「止文」
                】））
              ）
        ）
        或有「其他」则「可无」
    ）
也。

「写专整函数」乃化「正则函数」而「回收项串」也。
「写专整函数」者会「原函」而
  「：文言：整参既解，复用有证之果。汉语：仅优化下面已解箱为i64的内部函数体；包装器仍逐参解箱。证明失败则原函数不变。：」
  虑「函」者「复用纯整函数」于「原函」而
  虑「号」者「函数号」于（「函」中「零」）而
  虑「诸参」者「函」中「二」而
  虑「数」者「长度」授以「整数」于「诸参」而
  虑「无」者「写引用」于「专整尾标」于『$sum_loop』而
  虑「循环串」者鉴「写专整旋转」于「函」而
    有（「可有」于「串」）则「串」
    或有「可无」则
      「回收拼」
        于（「列」【
          「回收单令」于（「回收循环」于『$sum_loop』于（「回收块单果」于「回收整六四」）），
          「写专整段」于「号」于「阳」于（「函」中「三」），
          「回收单令」于「回收结束」
        】）
  而
  虑「参名们」者
    「态射」授以「整数」授以「字符串」于「诸参」于「专整局部」而
  「：文言：公门以通用之型受参，逐一解之，入内工而装其果。汉语：公开入口按通用类型接收参数，逐个拆箱后调用内部 i64 函数，再装箱结果。：」
  「回收项列」
    于（「列」【
      「回收函数项」
        于（『$f』附「号」）
        于（「回收型名用」于（『$t』附（「整数表示」于「数」）））
        于「参名们」
        于（「罄」授以「回收局部」）
        于（「回收拼」
          于（「列」【
            「回收拼」于（「态射」授以「字符串」授以「回收串」
              于「参名们」
              于（会「名」而「回收令列」于（「列」【「回收局部取」于「名」，「回收调用」于『$unbox』】））），
              「回收令列」于（「列」【「回收调用」于（『$n』附「号」），「回收调用」于『$box』】）
          】）），
          「回收函数项」
            于（『$n』附「号」）
            于（「回收型内联」
              于（「态射」授以「整数」授以「回收值型」于「诸参」于（会「位」而「回收整六四」））
              于（「列」【「回收整六四」】））
              于「参名们」
              于（「附加」授以「回收局部」
                于（「态射」授以「整数」授以「回收局部」
                  于（「整数范围」于「数」于（「函」中「四」））
                  于（会「位」而（「专整局部」于「位」）与「回收整六四」））
                  于（「列」【『$acc』与「回收整六四」】））
                  于（「回收拼」
                    于（「列」【
                      「循环串」，
                      「回收令列」于（「列」【「回收局部取」于『$acc』，「回收整六四加」】）】））
    】）
也。