-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
2094 lines (2087 loc) · 192 KB
/
index.html
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
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<link href="coqdoc.css" rel="stylesheet" type="text/css" />
<title>Index</title>
</head>
<body>
<div id="page">
<div id="header">
</div>
<div id="main">
<table>
<tr>
<td>Global Index</td>
<td><a href="index.html#global_A">A</a></td>
<td><a href="index.html#global_B">B</a></td>
<td><a href="index.html#global_C">C</a></td>
<td><a href="index.html#global_D">D</a></td>
<td><a href="index.html#global_E">E</a></td>
<td><a href="index.html#global_F">F</a></td>
<td><a href="index.html#global_G">G</a></td>
<td><a href="index.html#global_H">H</a></td>
<td><a href="index.html#global_I">I</a></td>
<td>J</td>
<td><a href="index.html#global_K">K</a></td>
<td><a href="index.html#global_L">L</a></td>
<td><a href="index.html#global_M">M</a></td>
<td><a href="index.html#global_N">N</a></td>
<td><a href="index.html#global_O">O</a></td>
<td><a href="index.html#global_P">P</a></td>
<td><a href="index.html#global_Q">Q</a></td>
<td><a href="index.html#global_R">R</a></td>
<td><a href="index.html#global_S">S</a></td>
<td><a href="index.html#global_T">T</a></td>
<td><a href="index.html#global_U">U</a></td>
<td><a href="index.html#global_V">V</a></td>
<td>W</td>
<td><a href="index.html#global_X">X</a></td>
<td><a href="index.html#global_Y">Y</a></td>
<td><a href="index.html#global_Z">Z</a></td>
<td>_</td>
<td><a href="index.html#global_*">other</a></td>
<td>(628 entries)</td>
</tr>
<tr>
<td>Notation Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td><a href="index.html#notation_F">F</a></td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td><a href="index.html#notation_*">other</a></td>
<td>(2 entries)</td>
</tr>
<tr>
<td>Binder Index</td>
<td><a href="index.html#binder_A">A</a></td>
<td><a href="index.html#binder_B">B</a></td>
<td><a href="index.html#binder_C">C</a></td>
<td><a href="index.html#binder_D">D</a></td>
<td><a href="index.html#binder_E">E</a></td>
<td><a href="index.html#binder_F">F</a></td>
<td><a href="index.html#binder_G">G</a></td>
<td>H</td>
<td><a href="index.html#binder_I">I</a></td>
<td>J</td>
<td><a href="index.html#binder_K">K</a></td>
<td><a href="index.html#binder_L">L</a></td>
<td><a href="index.html#binder_M">M</a></td>
<td><a href="index.html#binder_N">N</a></td>
<td>O</td>
<td><a href="index.html#binder_P">P</a></td>
<td><a href="index.html#binder_Q">Q</a></td>
<td><a href="index.html#binder_R">R</a></td>
<td><a href="index.html#binder_S">S</a></td>
<td><a href="index.html#binder_T">T</a></td>
<td>U</td>
<td><a href="index.html#binder_V">V</a></td>
<td>W</td>
<td><a href="index.html#binder_X">X</a></td>
<td><a href="index.html#binder_Y">Y</a></td>
<td><a href="index.html#binder_Z">Z</a></td>
<td>_</td>
<td>other</td>
<td>(491 entries)</td>
</tr>
<tr>
<td>Library Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td><a href="index.html#library_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(1 entry)</td>
</tr>
<tr>
<td>Constructor Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td><a href="index.html#constructor_F">F</a></td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td><a href="index.html#constructor_R">R</a></td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(2 entries)</td>
</tr>
<tr>
<td>Projection Index</td>
<td>A</td>
<td><a href="index.html#projection_B">B</a></td>
<td>C</td>
<td><a href="index.html#projection_D">D</a></td>
<td><a href="index.html#projection_E">E</a></td>
<td><a href="index.html#projection_F">F</a></td>
<td>G</td>
<td>H</td>
<td><a href="index.html#projection_I">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td><a href="index.html#projection_P">P</a></td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td><a href="index.html#projection_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(12 entries)</td>
</tr>
<tr>
<td>Inductive Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td><a href="index.html#inductive_F">F</a></td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(1 entry)</td>
</tr>
<tr>
<td>Section Index</td>
<td><a href="index.html#section_A">A</a></td>
<td>B</td>
<td>C</td>
<td>D</td>
<td><a href="index.html#section_E">E</a></td>
<td><a href="index.html#section_F">F</a></td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td><a href="index.html#section_M">M</a></td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td><a href="index.html#section_R">R</a></td>
<td>S</td>
<td><a href="index.html#section_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(8 entries)</td>
</tr>
<tr>
<td>Abbreviation Index</td>
<td>A</td>
<td><a href="index.html#abbreviation_B">B</a></td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td><a href="index.html#abbreviation_V">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(5 entries)</td>
</tr>
<tr>
<td>Definition Index</td>
<td><a href="index.html#definition_A">A</a></td>
<td><a href="index.html#definition_B">B</a></td>
<td><a href="index.html#definition_C">C</a></td>
<td><a href="index.html#definition_D">D</a></td>
<td>E</td>
<td><a href="index.html#definition_F">F</a></td>
<td>G</td>
<td><a href="index.html#definition_H">H</a></td>
<td>I</td>
<td>J</td>
<td>K</td>
<td><a href="index.html#definition_L">L</a></td>
<td><a href="index.html#definition_M">M</a></td>
<td><a href="index.html#definition_N">N</a></td>
<td><a href="index.html#definition_O">O</a></td>
<td><a href="index.html#definition_P">P</a></td>
<td><a href="index.html#definition_Q">Q</a></td>
<td><a href="index.html#definition_R">R</a></td>
<td>S</td>
<td><a href="index.html#definition_T">T</a></td>
<td><a href="index.html#definition_U">U</a></td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(104 entries)</td>
</tr>
<tr>
<td>Record Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td><a href="index.html#record_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(2 entries)</td>
</tr>
</table>
<hr/>
<h1>Global Index</h1>
<a id="global_A"></a><h2>A </h2>
<a href="Arith.GeneralReflection.html#AbstractReflectionDefinitions">AbstractReflectionDefinitions</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#addRelIndex">addRelIndex</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#amnt:43">amnt:43</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#appendAndLift">appendAndLift</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#appendZero">appendZero</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#applyRecursively">applyRecursively</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#applyRecursivelyNP">applyRecursivelyNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#atrIH:356">atrIH:356</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#av:367">av:367</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#av:374">av:374</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#av:381">av:381</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#av:387">av:387</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A':151">A':151</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:1">A:1</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:11">a:11</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:13">A:13</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:133">A:133</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:149">A:149</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:161">a:161</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:19">A:19</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:23">A:23</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:4">A:4</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:408">a:408</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:471">a:471</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:48">a:48</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#A:50">A:50</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#a:78">a:78</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_B"></a><h2>B </h2>
<a href="Arith.GeneralReflection.html#baseConnectiveReifier">baseConnectiveReifier</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseConnectiveReifierNP">baseConnectiveReifierNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseConnectiveVars">baseConnectiveVars</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseEnv:593">baseEnv:593</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseLogicConn">baseLogicConn</a> [abbreviation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseLogicConn">baseLogicConn</a> [abbreviation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseLogicConn">baseLogicConn</a> [abbreviation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseLogicConnHelper">baseLogicConnHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#baseLogicVarHelper">baseLogicVarHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#base:468">base:468</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#bind">bind</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#bodyf:53">bodyf:53</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#both:349">both:349</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#buildDefaultTarski">buildDefaultTarski</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#B':152">B':152</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#B:150">B:150</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#b:162">b:162</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#B:20">B:20</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#b:47">b:47</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#B:5">B:5</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#B:51">B:51</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#b:77">b:77</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_C"></a><h2>C </h2>
<a href="Arith.GeneralReflection.html#constructForm">constructForm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#constructTerm">constructTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#createEnvTerms">createEnvTerms</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#C':154">C':154</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#C:153">C:153</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:165">c:165</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:184">c:184</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:185">c:185</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:204">c:204</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:365">c:365</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:372">c:372</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:379">c:379</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#c:385">c:385</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_D"></a><h2>D </h2>
<a href="Arith.GeneralReflection.html#D">D</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#dbr:56">dbr:56</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#defaultExtensions">defaultExtensions</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#dtr:55">dtr:55</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#D:103">D:103</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:121">d:121</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:126">d:126</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:129">d:129</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:168">d:168</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:170">d:170</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:176">d:176</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:178">d:178</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:190">d:190</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:198">d:198</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:406">d:406</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#d:54">d:54</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_E"></a><h2>E </h2>
<a href="Arith.GeneralReflection.html#emptyEnv">emptyEnv</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#EnvConstructor">EnvConstructor</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#EnvHelpers">EnvHelpers</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envSub:530">envSub:530</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envSub:564">envSub:564</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTermSub:529">envTermSub:529</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTermSub:563">envTermSub:563</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:241">envTerm:241</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:247">envTerm:247</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:255">envTerm:255</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:263">envTerm:263</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:271">envTerm:271</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:280">envTerm:280</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:288">envTerm:288</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:294">envTerm:294</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:302">envTerm:302</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:310">envTerm:310</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:317">envTerm:317</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:326">envTerm:326</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:335">envTerm:335</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:513">envTerm:513</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envTerm:537">envTerm:537</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envToD:595">envToD:595</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envv:482">envv:482</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#envv:496">envv:496</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:242">env:242</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:248">env:248</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:256">env:256</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:264">env:264</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:272">env:272</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:281">env:281</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:289">env:289</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:295">env:295</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:303">env:303</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:311">env:311</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:318">env:318</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:327">env:327</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:336">env:336</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:342">env:342</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:368">env:368</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:375">env:375</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:382">env:382</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:388">env:388</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:391">env:391</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:397">env:397</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:407">env:407</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:479">env:479</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:493">env:493</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:514">env:514</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#env:538">env:538</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#eT:341">eT:341</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#et:346">et:346</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#et:543">et:543</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#et:548">et:548</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#e':501">e':501</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#e:347">e:347</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#e:544">e:544</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#e:549">e:549</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_F"></a><h2>F </h2>
<a href="Arith.GeneralReflection.html#fail">fail</a> [constructor, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#FailureMonad">FailureMonad</a> [inductive, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#FailureMonad">FailureMonad</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#5c06616cace8748a4c6dd0432d8a25f8">_ <- _ ;; _</a> [notation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fallback:485">fallback:485</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fallback:505">fallback:505</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ffail:30">ffail:30</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ffail:422">ffail:422</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ffail:459">ffail:459</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ffail:518">ffail:518</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ffail:553">ffail:553</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ff:74">ff:74</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findPropRepresentation">findPropRepresentation</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findPropRepresentationNP">findPropRepresentationNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findTermRepresentation">findTermRepresentation</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findTermRepresentationNP">findTermRepresentationNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBAnd">findUBAnd</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBBase">findUBBase</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBExists">findUBExists</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBFalse">findUBFalse</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBIff">findUBIff</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBOr">findUBOr</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBRecursively">findUBRecursively</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUBTrue">findUBTrue</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUnboundVariablesForm">findUnboundVariablesForm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#findUnboundVariablesTerm">findUnboundVariablesTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#flatten_monad">flatten_monad</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#formReifierReifyHelper">formReifierReifyHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#formReifierVarHelper">formReifierVarHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:243">fPR:243</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:249">fPR:249</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:257">fPR:257</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:265">fPR:265</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:273">fPR:273</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:282">fPR:282</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:290">fPR:290</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:296">fPR:296</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:304">fPR:304</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:312">fPR:312</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:319">fPR:319</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:328">fPR:328</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:337">fPR:337</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:426">fPR:426</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:429">fPR:429</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:434">fPR:434</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:439">fPR:439</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fPR:446">fPR:446</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:211">fP:211</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:216">fP:216</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:220">fP:220</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:225">fP:225</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:234">fP:234</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fP:236">fP:236</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fQ:212">fQ:212</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fQ:217">fQ:217</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fQ:226">fQ:226</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fQ:235">fQ:235</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fQ:237">fQ:237</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#frees:457">frees:457</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#frees:512">frees:512</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#frees:536">frees:536</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fs">fs</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fs:101">fs:101</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fTR:338">fTR:338</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#FUEL">FUEL</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:279">fuel:279</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:325">fuel:325</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:334">fuel:334</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:417">fuel:417</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:442">fuel:442</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:455">fuel:455</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:476">fuel:476</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:490">fuel:490</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:510">fuel:510</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fuel:534">fuel:534</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fZ:173">fZ:173</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fZ:182">fZ:182</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fZ:193">fZ:193</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#fZ:202">fZ:202</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#F1:24">F1:24</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#f2t">f2t</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#F2:25">F2:25</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#f:21">f:21</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#f:28">f:28</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#f:547">f:547</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#f:7">f:7</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_G"></a><h2>G </h2>
<a href="GeneralReflection.html">GeneralReflection</a> [library]<br/>
<a href="Arith.GeneralReflection.html#g:567">g:567</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#g:579">g:579</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#g:589">g:589</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_H"></a><h2>H </h2>
<a href="Arith.GeneralReflection.html#helperFormReifierType">helperFormReifierType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#helperFormVarsType">helperFormVarsType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#helperTermReifierType">helperTermReifierType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#helperTermVarsType">helperTermVarsType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#HiddenTerm">HiddenTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_I"></a><h2>I </h2>
<a href="Arith.GeneralReflection.html#I">I</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ifZ:174">ifZ:174</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ifZ:183">ifZ:183</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ifZ:194">ifZ:194</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ifZ:203">ifZ:203</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IHt:355">IHt:355</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:352">IH:352</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:360">IH:360</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:369">IH:369</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:376">IH:376</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:383">IH:383</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:389">IH:389</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#IH:412">IH:412</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#isD">isD</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#isD:106">isD:106</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#I:104">I:104</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_K"></a><h2>K </h2>
<a href="Arith.GeneralReflection.html#k:146">k:146</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:147">k:147</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:396">k:396</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:402">k:402</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:403">k:403</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:531">k:531</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#k:6">k:6</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_L"></a><h2>L </h2>
<a href="Arith.GeneralReflection.html#lowerRelIndex">lowerRelIndex</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:240">lst:240</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:246">lst:246</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:254">lst:254</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:262">lst:262</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:270">lst:270</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:287">lst:287</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:293">lst:293</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:301">lst:301</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:309">lst:309</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:316">lst:316</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:333">lst:333</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:425">lst:425</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:428">lst:428</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:433">lst:433</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:438">lst:438</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:441">lst:441</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:445">lst:445</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lst:594">lst:594</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ls:37">ls:37</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lt:351">lt:351</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lt:359">lt:359</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#lt:411">lt:411</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:14">l:14</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:22">l:22</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:278">l:278</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:324">l:324</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:33">l:33</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:36">l:36</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:467">l:467</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:484">l:484</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:517">l:517</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#l:541">l:541</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_M"></a><h2>M </h2>
<a href="Arith.GeneralReflection.html#MainReificationFunctions">MainReificationFunctions</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mal:73">mal:73</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mAnd">mAnd</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#map_def_monad">map_def_monad</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#map_monad">map_monad</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#maybeD">maybeD</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mA:157">mA:157</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mA:159">mA:159</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mB:158">mB:158</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mB:160">mB:160</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mb:80">mb:80</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mD:453">mD:453</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeAnd">mergeAnd</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeExists">mergeExists</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeFalse">mergeFalse</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeForall">mergeForall</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeForm">mergeForm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeFormBase">mergeFormBase</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeFormProto">mergeFormProto</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeFormProtoType">mergeFormProtoType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeIff">mergeIff</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeImpl">mergeImpl</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeOr">mergeOr</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeTerm">mergeTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeTermBase">mergeTermBase</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeTermProto">mergeTermProto</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeTermProtoType">mergeTermProtoType</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mergeTrue">mergeTrue</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#MetaCoqUtils">MetaCoqUtils</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mExists">mExists</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#me:72">me:72</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mFalse">mFalse</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mForall">mForall</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mIff">mIff</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mImpl">mImpl</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#minn:42">minn:42</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#minn:57">minn:57</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mi:75">mi:75</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mmft:83">mmft:83</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mmft:84">mmft:84</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mm:577">mm:577</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mm:81">mm:81</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mOr">mOr</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mr:76">mr:76</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mTrue">mTrue</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt2:65">mt2:65</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt:64">mt:64</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt:66">mt:66</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt:68">mt:68</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt:70">mt:70</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mt:82">mt:82</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mv:67">mv:67</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mv:69">mv:69</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#mv:71">mv:71</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#m:63">m:63</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_N"></a><h2>N </h2>
<a href="Arith.GeneralReflection.html#naryGFunc">naryGFunc</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#naryProp">naryProp</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#nary3GFunc">nary3GFunc</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#noProofDummy">noProofDummy</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#num:483">num:483</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#num:497">num:497</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:107">n:107</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:109">n:109</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:112">n:112</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:122">n:122</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:132">n:132</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:137">n:137</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:148">n:148</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:172">n:172</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:181">n:181</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:192">n:192</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:201">n:201</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:34">n:34</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:345">n:345</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#n:39">n:39</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_O"></a><h2>O </h2>
<a href="Arith.GeneralReflection.html#orelse">orelse</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_P"></a><h2>P </h2>
<a href="Arith.GeneralReflection.html#pat:49">pat:49</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pat:574">pat:574</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pat:79">pat:79</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#phi:113">phi:113</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#phi:124">phi:124</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#phi:229">phi:229</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#point:105">point:105</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#popListStart">popListStart</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#popNElements">popNElements</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pPq:572">pPq:572</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#propFinderReifier">propFinderReifier</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#propFinderVars">propFinderVars</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pr:370">pr:370</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pr:377">pr:377</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#pr:503">pr:503</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ps">ps</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ps:102">ps:102</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:115">P:115</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:118">P:118</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:119">P:119</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:120">P:120</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:123">P:123</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:188">P:188</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:196">P:196</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:209">P:209</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:214">P:214</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:219">P:219</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:223">P:223</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:232">P:232</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#P:344">P:344</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_Q"></a><h2>Q </h2>
<a href="Arith.GeneralReflection.html#qe:571">qe:571</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#qe:583">qe:583</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Ql:464">Ql:464</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Ql:525">Ql:525</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Ql:560">Ql:560</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#quoteNumber">quoteNumber</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Q:210">Q:210</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Q:215">Q:215</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#q:221">q:221</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Q:224">Q:224</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Q:228">Q:228</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#Q:233">Q:233</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_R"></a><h2>R </h2>
<a href="Arith.GeneralReflection.html#raiseEnvTerm">raiseEnvTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#recoverVector">recoverVector</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ReificationHelpers">ReificationHelpers</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyAnd">reifyAnd</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyAndNP">reifyAndNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyBase">reifyBase</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyBaseNP">reifyBaseNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyExist">reifyExist</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyExistNP">reifyExistNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyFalse">reifyFalse</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyFalseNP">reifyFalseNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyForm">reifyForm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyFormNP">reifyFormNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyIff">reifyIff</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyIffNP">reifyIffNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyOr">reifyOr</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyOrNP">reifyOrNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyTerm">reifyTerm</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyTermNP">reifyTermNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyTrue">reifyTrue</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#reifyTrueNP">reifyTrueNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#replist:364">replist:364</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#replist:416">replist:416</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#representableF">representableF</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#representableP">representableP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#representsF">representsF</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#representsP">representsP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rep:363">rep:363</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rep:415">rep:415</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#ret">ret</a> [constructor, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:114">rho:114</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:125">rho:125</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:128">rho:128</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:131">rho:131</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:166">rho:166</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:171">rho:171</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:180">rho:180</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:186">rho:186</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:191">rho:191</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:200">rho:200</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:207">rho:207</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:208">rho:208</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:213">rho:213</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:218">rho:218</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:222">rho:222</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:227">rho:227</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:231">rho:231</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rho:238">rho:238</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rP:463">rP:463</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rP:524">rP:524</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rQ:465">rQ:465</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rQ:526">rQ:526</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rQ:527">rQ:527</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rr:267">rr:267</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rr:343">rr:343</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rr:348">rr:348</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rr:551">rr:551</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#rt:314">rt:314</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#R:134">R:134</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#R:142">R:142</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#R:143">R:143</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_S"></a><h2>S </h2>
<a href="Arith.GeneralReflection.html#s:284">s:284</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#s:330">s:330</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#s:450">s:450</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_T"></a><h2>T </h2>
<a href="Arith.GeneralReflection.html#takeMultiple">takeMultiple</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#TarskiMerging">TarskiMerging</a> [section, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tarski_reflector_extensions">tarski_reflector_extensions</a> [record, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tarski_reflector">tarski_reflector</a> [record, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct':498">tct':498</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:239">tct:239</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:245">tct:245</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:253">tct:253</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:261">tct:261</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:269">tct:269</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:277">tct:277</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:286">tct:286</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:292">tct:292</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:300">tct:300</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:308">tct:308</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:315">tct:315</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:323">tct:323</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:332">tct:332</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:339">tct:339</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:366">tct:366</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:373">tct:373</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:380">tct:380</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:386">tct:386</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:405">tct:405</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:443">tct:443</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:452">tct:452</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:454">tct:454</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:466">tct:466</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:475">tct:475</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:489">tct:489</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:509">tct:509</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:519">tct:519</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:520">tct:520</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:521">tct:521</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:533">tct:533</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:554">tct:554</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:555">tct:555</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:556">tct:556</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:566">tct:566</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:578">tct:578</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tct:588">tct:588</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termEnv:478">termEnv:478</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termEnv:492">termEnv:492</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termFinderReifier">termFinderReifier</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termFinderVars">termFinderVars</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termReifier">termReifier</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termReifierNP">termReifierNP</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termReifierReifyHelper">termReifierReifyHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#termReifierVarHelper">termReifierVarHelper</a> [projection, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#te':500">te':500</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#te:206">te:206</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#te:410">te:410</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#te:474">te:474</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tk:565">tk:565</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tPq:573">tPq:573</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tPq:584">tPq:584</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tP:559">tP:559</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tP:575">tP:575</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tP:585">tP:585</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tQ:561">tQ:561</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tQ:562">tQ:562</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tQ:576">tQ:576</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#treO:568">treO:568</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#treO:580">treO:580</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#treO:590">treO:590</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tre:570">tre:570</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tre:582">tre:582</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tre:592">tre:592</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#trm:127">trm:127</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#trm:130">trm:130</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#trm:384">trm:384</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#trm:390">trm:390</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tr:100">tr:100</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tr:108">tr:108</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tr:205">tr:205</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tr:409">tr:409</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tr:473">tr:473</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tv:58">tv:58</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#tyf:52">tyf:52</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t':499">t':499</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#T:10">T:10</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:167">t:167</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:169">t:169</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:175">t:175</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:177">t:177</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:187">t:187</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:189">t:189</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:195">t:195</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:197">t:197</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:340">t:340</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:393">t:393</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:399">t:399</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:418">t:418</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:44">t:44</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:456">t:456</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:462">t:462</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:477">t:477</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:488">t:488</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:491">t:491</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:508">t:508</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:511">t:511</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:523">t:523</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:535">t:535</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:542">t:542</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:546">t:546</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:558">t:558</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:59">t:59</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#t:92">t:92</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_U"></a><h2>U </h2>
<a href="Arith.GeneralReflection.html#unboundEnv">unboundEnv</a> [definition, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_V"></a><h2>V </h2>
<a href="Arith.GeneralReflection.html#vectorCons">vectorCons</a> [abbreviation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vectorNil">vectorNil</a> [abbreviation, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:145">vr:145</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:424">vr:424</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:461">vr:461</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:487">vr:487</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:507">vr:507</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:522">vr:522</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#vr:557">vr:557</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:144">v:144</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:163">v:163</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:164">v:164</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:179">v:179</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:199">v:199</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:404">v:404</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:472">v:472</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:502">v:502</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:545">v:545</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#v:550">v:550</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<br/><br/><a id="global_X"></a><h2>X </h2>
<a href="Arith.GeneralReflection.html#xm:17">xm:17</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xrl:32">xrl:32</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xrm:18">xrm:18</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xr:251">xr:251</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xr:259">xr:259</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xr:275">xr:275</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>
<a href="Arith.GeneralReflection.html#xt:298">xt:298</a> [binder, in <a href="Arith.GeneralReflection.html">Arith.GeneralReflection</a>]<br/>