-
Notifications
You must be signed in to change notification settings - Fork 10
/
TAGS
3049 lines (2926 loc) · 99.7 KB
/
TAGS
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
lib/Bash.ml,362
Bash1,0
type colorscolors20,1442
greengreen21,1458
redred22,1475
blueblue23,1490
yellowyellow24,1506
orangeorange25,1524
defaultdefault26,1542
underlineunderline27,1561
let mkcolormkcolor30,1585
let colorscolors31,1634
let theighttheight41,1813
let theight, twidthtwidth41,1813
let boxbox60,2227
let resetreset84,3026
lib/Bash.mli,325
Bash1,0
type colorscolors23,1552
greengreen24,1568
redred25,1585
blueblue26,1600
yellowyellow27,1616
orangeorange28,1634
defaultdefault29,1652
underlineunderline30,1671
val colorscolors34,1772
val twidthtwidth37,1822
val theighttheight40,1870
val boxbox43,1910
val resetreset46,1999
lib/Either.ml,277
Either1,0
type ('a, 'b) eithereither21,1443
type ('a, 'b) either = LeftLeft21,1443
type ('a, 'b) either = Left of 'a | RightRight21,1443
let is_leftis_left23,1492
let is_rightis_right24,1551
let assert_leftassert_left25,1611
let assert_rightassert_right26,1678
lib/Either.mli,277
Either1,0
type ('a, 'b) eithereither21,1443
type ('a, 'b) either = LeftLeft21,1443
type ('a, 'b) either = Left of 'a | RightRight21,1443
val is_leftis_left23,1492
val is_rightis_right24,1529
val assert_leftassert_left25,1567
val assert_rightassert_right26,1606
lib/InfiniteArray.ml,349
InfiniteArray1,0
type 'a tt20,1177
defaultdefault21,1191
mutable tabletable22,1208
mutable extentextent23,1237
let default_sizedefault_size26,1321
let makemake29,1372
let rec new_lengthnew_length35,1457
let ensureensure41,1557
let getget50,1802
let setset54,1845
let extentextent59,1931
let domaindomain62,1958
lib/InfiniteArray.mli,153
InfiniteArray1,0
type 'a tt18,1121
val makemake21,1207
val getget25,1341
val setset29,1488
val extentextent35,1755
val domaindomain39,1885
lib/LazyList.ml,406
LazyList1,0
type 'a tt20,1442
and 'a nodenode22,1470
| NilNil23,1484
| ConsCons24,1492
let nilnil26,1515
let conscons29,1537
let nextnext32,1578
let tltl35,1603
let hdhd42,1716
let oneone49,1827
let rec filterfilter52,1865
let flattenflatten63,2082
let rec mapmap86,2560
let concatconcat94,2712
let rec iteriter109,3097
let findfind119,3326
let existsexists127,3559
lib/LazyList.mli,417
LazyList1,0
type 'a tt22,1485
and 'a nodenode23,1512
and 'a node = NilNil23,1512
and 'a node = Nil | ConsCons23,1512
val nilnil25,1551
val conscons26,1566
val nextnext27,1596
val tltl28,1623
val hdhd29,1645
val oneone30,1665
val filterfilter31,1686
val flattenflatten32,1728
val mapmap33,1760
val concatconcat34,1797
val iteriter35,1825
val findfind36,1865
val existsexists37,1903
lib/Log.ml,439
Log1,0
exception MzInternalFailureMzInternalFailure20,1442
let the_debug_levelthe_debug_level22,1481
let debug_leveldebug_level24,1510
let enable_debugenable_debug26,1549
let debugdebug30,1625
let warn_countwarn_count38,1827
let warnwarn39,1850
let raise_levelraise_level41,1898
let silentsilent49,2084
let msgmsg56,2224
let fail_with_summaryfail_with_summary62,2350
let errorerror71,2582
let checkcheck79,2779
lib/Log.mli,347
Log1,0
exception MzInternalFailureMzInternalFailure23,1535
val enable_debugenable_debug28,1801
val debug_leveldebug_level30,1833
val debugdebug33,1933
val warnwarn36,2080
val errorerror40,2267
val msgmsg44,2451
val checkcheck47,2573
val raise_levelraise_level50,2704
val silentsilent53,2808
val warn_countwarn_count57,2851
lib/MzList.ml,948
MzList1,0
let rec split3split320,1442
let ignore_mapignore_map27,1587
let rec iter3iter330,1655
let iter2iiter2i40,1871
let check_for_duplicatescheck_for_duplicates52,2347
let exit_if_duplicatesexit_if_duplicates71,2768
let maxmax76,3023
let filter_somefilter_some78,3065
let makemake82,3162
let map2imap2i91,3300
let fold_left3fold_left3107,3590
let fold_left2ifold_left2i119,3909
let fold_leftifold_lefti131,4201
let fold_rightifold_righti140,4378
let reducereduce150,4567
let lastlast153,4628
let nth_optnth_opt155,4673
let map_somemap_some161,4765
let indexindex164,4814
let combine3combine3172,5000
let taketake184,5307
let find_optifind_opti198,5578
let find_optfind_opt211,5797
let take_booltake_bool214,5844
let flatten_mapflatten_map221,5996
let rec split_mapsplit_map224,6049
let cutcut233,6221
let rec equalequal246,6454
let rec cps_mapcps_map255,6604
let rec mapmap265,6759
lib/MzList.mli,910
MzList1,0
val map2imap2i23,1565
val fold_rightifold_righti28,1823
val fold_leftifold_lefti32,1991
val fold_left2ifold_left2i36,2159
val fold_left3fold_left339,2299
val reducereduce43,2516
val iter2iiter2i46,2611
val iter3iter349,2730
val combine3combine352,2873
val split3split355,3004
val makemake58,3114
val lastlast61,3194
val ignore_mapignore_map64,3270
val check_for_duplicatescheck_for_duplicates69,3569
val exit_if_duplicatesexit_if_duplicates75,3901
val maxmax78,4041
val filter_somefilter_some81,4118
val map_somemap_some84,4214
val nth_optnth_opt87,4333
val indexindex90,4456
val taketake95,4662
val take_booltake_bool96,4733
val find_optfind_opt98,4798
val find_optifind_opti99,4854
val flatten_mapflatten_map101,4919
val split_mapsplit_map104,5046
val cutcut106,5110
val equalequal109,5200
val cps_mapcps_map112,5297
val mapmap117,5427
lib/MzMap.ml,457
MzMap1,0
module type SS20,1442
val keyskeys24,1521
val unionunion27,1602
val interinter30,1688
val minusminus34,1838
val xorxor37,1932
val to_listto_list40,2015
val find_optfind_opt43,2108
module MakeMake46,2154
module MapMap48,2210
let keyskeys51,2254
let unionunion55,2343
let interinter59,2441
let minusminus63,2599
let xorxor66,2700
let to_listto_list70,2801
let find_optfind_opt73,2870
lib/MzMap.mli,246
MzMap1,0
module type SS22,1499
val keyskeys26,1578
val unionunion29,1659
val interinter32,1745
val minusminus36,1895
val xorxor39,1989
val to_listto_list42,2072
val find_optfind_opt45,2165
module MakeMake48,2211
lib/MzPprint.ml,1132
MzPprint1,0
type colorscolors26,1562
mutable greengreen27,1578
mutable redred28,1605
mutable blueblue29,1630
mutable yellowyellow30,1656
mutable defaultdefault31,1684
mutable underlineunderline32,1713
let colorscolors35,1747
let enable_colorsenable_colors44,1871
let disable_colorsdisable_colors53,2242
let arrowarrow69,2556
let dblarrowdblarrow73,2586
let semisemisemisemi76,2616
let ccolonccolon79,2645
let commabreakcommabreak82,2673
let semibreaksemibreak85,2710
let intint88,2745
let larrowlarrow91,2768
let tagoftagof95,2799
let name_genname_gen99,2834
let jumpjump113,3355
let english_joinenglish_join117,3408
let renderrender120,3471
let pdocpdoc126,3677
let dumpdump129,3800
let parens_with_nestingparens_with_nesting144,4096
let brackets_with_nestingbrackets_with_nesting147,4170
let braces_with_nestingbraces_with_nesting158,4332
let array_with_nestingarray_with_nesting161,4406
let pluralplural164,4493
let comma1comma1171,4559
let commascommas174,4592
let tupletuple181,4776
let recordrecord186,4879
let applicationapplication193,5058
lib/MzString.ml,266
MzString1,0
let bsprintfbsprintf20,1442
let bfprintfbfprintf23,1519
let bprintfbprintf27,1696
let beprintfbeprintf30,1737
let bufbuf33,1779
let biprintfbiprintf34,1805
let replacereplace36,1849
let substringsubstring41,1951
let splitsplit44,1999
lib/MzString.mli,246
MzString1,0
val bsprintfbsprintf24,1574
val bfprintfbfprintf28,1750
val bprintfbprintf32,1957
val beprintfbeprintf36,2131
val biprintfbiprintf39,2234
val replacereplace42,2360
val splitsplit45,2469
val substringsubstring49,2643
lib/Option.ml,250
Option1,0
let mapmap20,1442
let map_nonemap_none24,1506
let unit_boolunit_bool28,1563
let extractextract32,1627
let iteriter36,1692
let bindbind40,1755
let is_someis_some45,1832
let flattenflatten47,1884
let to_listto_list49,1935
lib/Option.mli,250
Option1,0
val mapmap24,1623
val map_nonemap_none27,1739
val unit_boolunit_bool32,1953
val extractextract35,2030
val iteriter38,2094
val bindbind41,2191
val is_someis_some43,2246
val flattenflatten45,2278
val to_listto_list47,2322
lib/PersistentRef.ml,363
PersistentRef1,0
module MapMap33,1957
type locationlocation35,1987
type 'a storestore38,2012
limitlimit39,2030
heapheap40,2049
let emptyempty45,2094
let makemake52,2162
let getget57,2272
let setset66,2480
let eqeq72,2628
let neqneq75,2670
let comparecompare78,2714
let iteriter83,2789
let foldfold86,2849
let validvalid91,2938
lib/PersistentRef.mli,298
PersistentRef1,0
type locationlocation24,1595
type 'a storestore26,1610
val emptyempty30,1649
val makemake34,1689
val getget38,1758
val setset42,1816
val iteriter46,1900
val foldfold50,1959
val eqeq54,2058
val neqneq55,2095
val comparecompare56,2133
val validvalid60,2200
lib/PersistentUnionFind.ml,466
PersistentUnionFind1,0
type 'a contentcontent35,2093
| LinkLink36,2111
| RootRoot37,2132
type 'a statestate39,2148
type pointpoint44,2226
let rec reprrepr52,2464
let initinit66,2816
let createcreate72,2949
let samesame79,3141
let unionunion87,3461
let findfind99,3780
let updateupdate120,4312
let union_computedunion_computed131,4783
let iteriter146,5210
let foldfold149,5284
let comparecompare154,5396
let validvalid156,5433
lib/PersistentUnionFind.mli,380
PersistentUnionFind1,0
type pointpoint24,1524
type 'a statestate30,1688
val initinit34,1749
val createcreate39,1896
val samesame44,2050
val unionunion51,2359
val findfind56,2520
val updateupdate62,2739
val union_computedunion_computed69,3088
val iteriter72,3247
val foldfold76,3367
val comparecompare78,3436
val reprrepr80,3472
val validvalid82,3510
lib/gMap.mli,1022
GMap1,0
module type SS20,1442
type keykey26,1531
type 'a tt30,1597
val emptyempty34,1635
val lookuplookup39,1795
val findfind40,1827
val addadd46,2047
exception UnchangedUnchanged52,2290
val strict_addstrict_add54,2313
type 'a decisiondecision61,2624
val fine_addfine_add63,2661
val memmem68,2808
val singletonsingleton72,2919
val is_emptyis_empty77,3053
val is_singletonis_singleton83,3225
val cardinalcardinal88,3410
val choosechoose93,3565
val lookup_and_removelookup_and_remove100,3864
val find_and_removefind_and_remove101,3914
val removeremove105,4036
val unionunion110,4198
val fine_unionfine_union118,4527
val iteriter124,4747
val foldfold133,5173
val fold_revfold_rev138,5345
val iter2iter2145,5670
val mapmap150,5869
val endo_mapendo_map156,6073
val comparecompare161,6222
module DomainDomain170,6682
val domaindomain172,6732
val liftlift173,6763
val corestrictcorestrict180,7027
lib/gSet.mli,585
GSet1,0
module type SS23,1595
type elementelement29,1688
type tt33,1720
val emptyempty37,1755
val is_emptyis_empty41,1830
val singletonsingleton46,1946
val cardinalcardinal50,2029
val choosechoose55,2181
val memmem60,2292
val addadd65,2414
val removeremove70,2538
val unionunion74,2640
val diffdiff78,2754
val interinter83,2871
val disjointdisjoint88,3034
val iteriter93,3204
val foldfold104,3793
val elementselements108,3910
val comparecompare112,3991
val equalequal116,4070
val subsetsubset120,4161
lib/patricia.ml,3562
Patricia1,0
module EndiannessEndianness33,2289
module type SS35,2317
type maskmask39,2415
val branching_bitbranching_bit44,2648
val maskmask50,2995
val shortershorter56,3289
module LittleLittle62,3419
type maskmask64,3445
let lowest_bitlowest_bit66,3466
let branching_bitbranching_bit73,3834
let maskmask79,4087
let shortershorter84,4186
module BigBig89,4222
type maskmask91,4245
let lowest_bitlowest_bit93,4266
let rec highest_bithighest_bit96,4308
let branching_bitbranching_bit113,5330
let maskmask120,5750
let shortershorter125,5857
module MakeMake135,6063
type keykey139,6162
type 'a tt146,6579
| EmptyEmpty147,6593
| LeafLeaf148,6605
| BranchBranch149,6628
let emptyempty153,6696
let rec choosechoose159,6846
let rec lookuplookup175,7501
let findfind186,7781
let memmem192,7894
let joinjoin206,8464
let match_prefixmatch_prefix223,9357
type 'a decisiondecision230,9664
exception UnchangedUnchanged232,9701
let basic_addbasic_add234,9724
let strict_addstrict_add258,10321
let fine_addfine_add261,10396
let addadd270,10677
let singletonsingleton275,10838
let is_singletonis_singleton281,11008
let is_emptyis_empty290,11213
let rec cardinalcardinal300,11443
let removeremove310,11670
let rec lookup_and_removelookup_and_remove343,12591
let find_and_removefind_and_remove365,13236
let reversereverse375,13679
let fine_unionfine_union378,13742
let unionunion436,15278
let rec iteriter442,15524
let rec foldfold456,16098
let rec fold_revfold_rev467,16404
let rec iter2iter2480,16901
let rec mapmap498,17451
let rec endo_mapendo_map509,17801
let iteratoriterator531,18383
exception GotGot554,18905
let comparecompare556,18929
module DomainDomain587,19927
type elementelement589,19951
type tt591,19973
| EmptyEmpty592,19984
| LeafLeaf593,19996
| BranchBranch594,20014
let emptyempty598,20076
let is_emptyis_empty603,20175
let singletonsingleton612,20337
let is_singletonis_singleton619,20510
let rec choosechoose629,20744
let rec cardinalcardinal639,20935
let rec memmem649,21156
let joinjoin659,21447
exception UnchangedUnchanged669,21730
let rec strict_addstrict_add671,21753
let addadd687,22155
let make2make2695,22332
type decisiondecision700,22459
let fine_addfine_add702,22496
let removeremove707,22632
let rec unionunion738,23365
let fine_unionfine_union791,24629
let buildbuild797,24859
let rec diffdiff810,25151
let rec interinter852,26162
exception NotDisjointNotDisjoint891,27208
let disjointdisjoint893,27233
let rec iteriter930,28163
let rec foldfold945,28879
let elementselements956,29129
let rec fold_revfold_rev961,29300
let rec iter2iter2972,29566
let iteratoriterator982,30154
exception ExistsExists1004,30651
let existsexists1006,30671
exception GotGot1018,30859
let comparecompare1020,30883
let equalequal1042,31335
exception NotSubsetNotSubset1048,31558
let subsetsubset1050,31581
let filterfilter1092,32543
let mapmap1111,32901
let monotone_mapmonotone_map1118,33095
let endo_mapendo_map1121,33138
let rec domaindomain1133,33506
let rec liftlift1143,33787
let buildbuild1154,34153
let rec corestrictcorestrict1169,34578
module LittleLittle1206,35520
module BigBig1208,35561
lib/patricia.mli,66
Patricia1,0
module LittleLittle24,1686
module BigBig26,1730
parsing/ClFlags.ml,130
ClFlags1,0
type flagflag1,0
CErrorCError2,13
CError | CWarningCWarning2,13
CError | CWarning | CSilentCSilent2,13
parsing/Datacon.ml,29
Datacon1,0
let pp24,1601
parsing/Driver.ml,1286
Driver1,0
let chop_mz_or_mzichop_mz_or_mzi25,1547
let lex_and_parse_rawlex_and_parse_raw36,1821
let lex_and_parselex_and_parse67,2832
let corelib_dirscorelib_dirs77,3241
let autoload_modulesautoload_modules91,3762
let mkprefixmkprefix99,4119
let lex_and_parse_implementationlex_and_parse_implementation149,5945
let lex_and_parse_interfacelex_and_parse_interface153,6080
let include_dirsinclude_dirs162,6350
let print_include_dirsprint_include_dirs166,6399
let add_include_diradd_include_dir170,6468
let module_name_for_file_pathmodule_name_for_file_path174,6537
let find_in_include_dirsfind_in_include_dirs180,6681
let js_special_mnamejs_special_mname200,7189
let find_and_lex_interfacefind_and_lex_interface202,7242
let find_and_lex_implementationfind_and_lex_implementation218,7727
let check_interfacecheck_interface241,8459
let import_dependencies_in_scopeimport_dependencies_in_scope247,8592
let check_implementationcheck_implementation256,8827
let just_print_interfacejust_print_interface378,13819
let processprocess396,14241
type run_optionsrun_options423,15192
html_errorshtml_errors424,15213
backtracesbacktraces425,15234
let runrun428,15257
let print_signatureprint_signature452,15966
let interpretinterpret483,17038
parsing/Driver.mli,435
Driver1,0
type run_optionsrun_options22,1509
html_errorshtml_errors23,1530
backtracesbacktraces24,1551
val add_include_diradd_include_dir28,1628
val print_include_dirsprint_include_dirs31,1702
val processprocess35,1879
val runrun38,1995
val print_signatureprint_signature42,2156
val interpretinterpret47,2372
val lex_and_parse_rawlex_and_parse_raw49,2403
val check_implementationcheck_implementation52,2513
parsing/Hashcons.ml,99
Hashcons1,0
type tt20,1442
let createcreate22,1511
let addadd25,1578
let findfind35,1772
parsing/Hashcons.mli,99
Hashcons1,0
type tt22,1481
val createcreate24,1489
val addadd25,1511
val findfind26,1539
parsing/Identifier.ml,304
Identifier1,0
module MakeMake20,1442
let tabletable24,1540
type namename30,1668
type tt32,1692
let registerregister36,1756
let printprint39,1819
let equalequal44,1904
let comparecompare49,1981
let hashhash56,2101
module MapMap62,2204
let memoizememoize66,2258
parsing/Identifier.mli,278
Identifier1,0
module MakeMake23,1555
type namename27,1624
type tt28,1636
val registerregister32,1727
val printprint33,1758
val equalequal37,1842
val comparecompare38,1876
val hashhash39,1911
module MapMap43,1980
val memoizememoize47,2081
parsing/KeywordGenerator.ml,22
KeywordGenerator1,0
parsing/KeywordPygments.ml,21
KeywordPygments1,0
parsing/Kind.ml,275
Kind1,0
type kindkind1,0
| KValueKValue2,12
| KTypeKType3,23
| KPermKPerm4,33
| KArrowKArrow5,43
let karrowkarrow7,70
let as_arrowas_arrow12,185
let arityarity21,353
let rec printprint30,493
let print_kindprint_kind42,720
let equalequal45,766
parsing/Kind.mli,282
Kind1,0
type kindkind8,306
| KValueKValue9,318
| KTypeKType10,329
| KPermKPerm11,339
| KArrowKArrow12,349
val karrowkarrow15,421
val as_arrowas_arrow20,639
val arityarity23,742
val printprint26,842
val print_kindprint_kind27,868
val equalequal30,957
parsing/Lexer.mli,386
Lexer1,0
type errorerror23,1513
exception LexingErrorLexingError26,1585
val initinit29,1679
val tokentoken33,1809
val print_errorprint_error36,1934
val print_positionprint_position40,2112
val pp44,2287
val prangeprange47,2376
val highlight_rangehighlight_range48,2444
val compare_locscompare_locs50,2511
val start_posstart_pos52,2612
val end_posend_pos53,2661
parsing/Module.ml,28
Module1,0
let pp24,1601
parsing/ParserUtils.ml,349
ParserUtils1,0
let varvar22,1462
let rec is_varis_var28,1637
let namename40,1962
let mk_datacon_referencemk_datacon_reference47,2188
let mkprefixmkprefix52,2325
let mkinfixmkinfix55,2396
let mk_tag_update_infomk_tag_update_info76,3004
let mk_fieldmk_field80,3066
let rec mktyappmktyapp85,3136
let mk_concretemk_concrete94,3323
parsing/SurfaceSyntax.ml,5097
SurfaceSyntax1,0
module FieldField30,1825
type datacon_infodatacon_info52,2832
datacon_namedatacon_name54,2925
datacon_aritydatacon_arity56,2993
datacon_indexdatacon_index58,3074
datacon_fieldsdatacon_fields60,3143
datacon_flavordatacon_flavor64,3361
let mkdatacon_infomkdatacon_info72,3634
type 'a maybe_qualifiedmaybe_qualified88,4169
| UnqualifiedUnqualified89,4195
| QualifiedQualified90,4217
type datacon_referencedatacon_reference102,4720
datacon_unresolveddatacon_unresolved104,4817
mutable datacon_infodatacon_info108,5077
let datacon_name_assert_unqualifieddatacon_name_assert_unqualified111,5125
type locationlocation122,5393
let dummy_locdummy_loc124,5444
let is_dummy_locis_dummy_loc126,5498
type binding_flavorbinding_flavor131,5674
type binding_flavor = UserIntroducedUserIntroduced131,5674
type binding_flavor = UserIntroduced | AutoIntroducedAutoIntroduced131,5674
type type_bindingtype_binding133,5729
type variancevariance136,5813
type variance = InvariantInvariant136,5813
type variance = Invariant | CovariantCovariant136,5813
type variance = Invariant | Covariant | ContravariantContravariant136,5813
type variance = Invariant | Covariant | Contravariant | BivariantBivariant136,5813
type type_binding_with_variancetype_binding_with_variance138,5880
type typtyp140,5939
| TyLocatedTyLocated141,5950
| TyTupleTyTuple142,5982
| TyUnknownTyUnknown143,6006
| TyDynamicTyDynamic144,6020
| TyEmptyTyEmpty145,6034
| TyVarTyVar146,6046
| TyConcreteTyConcrete147,6089
| TySingletonTySingleton148,6124
| TyAppTyApp149,6147
| TyArrowTyArrow150,6175
| TyForallTyForall151,6200
| TyExistsTyExists152,6235
| TyAnchoredPermissionTyAnchoredPermission153,6270
| TyStarTyStar154,6308
| TyNameIntroTyNameIntro155,6332
| TyConsumesTyConsumes156,6371
| TyBarTyBar157,6393
| TyAndTyAnd158,6416
| TyImplyTyImply159,6451
| TyWildcardTyWildcard160,6488
and mode_constraintmode_constraint162,6504
and data_field_defdata_field_def164,6543
and data_type_branchdata_type_branch166,6582
and adopts_clauseadopts_clause168,6662
let rec tunloctunloc171,6698
type data_type_def_lhsdata_type_def_lhs187,7278
type single_factsingle_fact190,7355
| FactFact191,7374
type data_type_def_branchdata_type_def_branch205,8302
type data_type_def_rhsdata_type_def_rhs208,8361
| ConcreteConcrete209,8386
| AbstractAbstract210,8468
| AbbrevAbbrev211,8501
type data_type_defdata_type_def213,8520
lhslhs214,8543
rhsrhs215,8569
type rec_flagrec_flag220,8660
type rec_flag = NonrecursiveNonrecursive220,8660
type rec_flag = Nonrecursive | RecursiveRecursive220,8660
type data_type_groupdata_type_group230,9168
let binding_of_lhsbinding_of_lhs233,9237
let rec find_branchfind_branch243,9718
type patternpattern262,10115
| PVarPVar264,10140
| PTuplePTuple266,10187
| PConstructPConstruct268,10256
| PLocatedPLocated270,10354
| PConstraintPConstraint272,10403
| PAsPAs274,10451
| PAnyPAny276,10496
and expressionexpression283,10610
| EConstraintEConstraint285,10641
| EVarEVar287,10697
| EBuiltinEBuiltin289,10759
| ELetELet291,10851
| ELetFlexELetFlex293,10939
| ELocalTypeELocalType295,11011
| EFunEFun297,11091
| EAssignEAssign299,11163
| EAssignTagEAssignTag301,11238
| EAccessEAccess303,11317
| EAssertEAssert305,11369
| EPackEPack307,11418
| EApplyEApply309,11459
| ETApplyETApply311,11527
| EMatchEMatch313,11599
| ETupleETuple315,11687
| EConstructEConstruct317,11759
| EIfThenElseEIfThenElse319,11866
| EWhileEWhile321,11969
| EForEFor323,12079
| ESequenceESequence325,12218
| ELocatedELocated326,12259
| EIntEInt327,12297
| EGiveEGive329,12338
| ETakeETake330,12375
| EOwnsEOwns331,12412
| EFailEFail333,12462
and tag_update_infotag_update_info335,12473
mutable is_phantom_updateis_phantom_update337,12583
and fieldfield340,12628
field_namefield_name341,12642
mutable field_offsetfield_offset343,12754
and offsetoffset346,12796
and tapptapp349,12816
| OrderedOrdered350,12827
| NamedNamed351,12846
and for_flagfor_flag353,12880
and for_flag = ToTo353,12880
and for_flag = To | DowntoDownto353,12880
and for_flag = To | Downto | BelowBelow353,12880
and for_flag = To | Downto | Below | AboveAbove353,12880
type definitionsdefinitions361,13040
type toplevel_itemtoplevel_item364,13112
| DataTypeGroupDataTypeGroup365,13133
| ValueDefinitionsValueDefinitions366,13170
| ValueDeclarationValueDeclaration367,13206
| OpenDirectiveOpenDirective368,13249
type implementationimplementation372,13386
type interfaceinterface377,13533
let rec type_to_patterntype_to_pattern388,13938
and mkpasmkpas458,16036
let print_maybe_qualifiedprint_maybe_qualified471,16361
let destruct_unqualifieddestruct_unqualified477,16502
let unqualifyunqualify483,16642
let maybe_qualified_equalmaybe_qualified_equal488,16718
parsing/SurfaceSyntaxPrinter.ml,678
SurfaceSyntaxPrinter1,0
let rec parenthetic_typeparenthetic_type12,311
and atomic_typeatomic_type21,500
and tight_typetight_type36,770
and normal_typenormal_type47,1027
and loose_typeloose_type70,1624
and consumes_typeconsumes_type88,2155
and very_loose_typevery_loose_type97,2312
and fat_typefat_type112,2746
and arbitrary_typearbitrary_type137,3317
and unqualified_variableunqualified_variable144,3513
and variablevariable147,3571
and bindingbinding150,3639
and concreteconcrete160,3861
and fieldfield180,4313
and mode_constraintmode_constraint189,4588
and datacon_referencedatacon_reference192,4676
let printprint199,4894
let pp202,4924
parsing/SurfaceSyntaxPrinter.mli,61
SurfaceSyntaxPrinter1,0
val printprint6,92
val pp7,119
parsing/Variable.ml,30
Variable1,0
let pp24,1593
parsing/options.ml,277
Options1,0
let pedanticpedantic20,1442
let no_auto_includeno_auto_include24,1473
let filenamefilename28,1511
let please_compileplease_compile33,1619
let warn_errorwarn_error37,1656
let bootboot41,1697
let print_interfaceprint_interface45,1724
let jsjs49,1762
parsing/Keywords.ml,41
Keywords1,0
let keywordskeywords3,84
parsing/JsGlue.ml,102
JsGlue1,0
let highlight_range_highlight_range_22,1512
let highlight_rangehighlight_range25,1608
typing/DataTypeFlavor.ml,276
DataTypeFlavor1,0
type flavorflavor7,238
| ImmutableImmutable8,252
| MutableMutable9,266
let equalequal13,296
let printprint18,358
let flavor2modeflavor2mode28,481
let can_adoptcan_adopt36,619
let can_be_writtencan_be_written41,729
let joinjoin53,1127
typing/DeBruijn.ml,496
DeBruijn1,0
class map_countingmap_counting29,1637
method extendextend34,1847
class liftlift42,1993
method tyboundtybound46,2156
let liftlift53,2249
class tsubsttsubst66,2673
method tyboundtybound71,2892
let tsubsttsubst93,3999
let tsubst_branchtsubst_branch96,4076
let tsubst_data_type_grouptsubst_data_type_group99,4172
let bind_in_typebind_in_type107,4520
let bind_rigid_in_typebind_rigid_in_type118,4759
let bind_flexible_in_typebind_flexible_in_type121,4811
typing/DeBruijn.mli,266
DeBruijn1,0
val liftlift25,1527
val tsubsttsubst28,1618
val tsubst_branchtsubst_branch31,1700
val tsubst_data_type_grouptsubst_data_type_group34,1793
val bind_rigid_in_typebind_rigid_in_type40,2138
val bind_flexible_in_typebind_flexible_in_type46,2382
typing/DerivationPrinter.ml,989
DerivationPrinter1,0
let wordswords26,1516
let (^^^^^^27,1555
let print_judgementprint_judgement29,1588
let comma_or_newlinecomma_or_newline67,2973
let rec print_ruleprint_rule70,3026
and print_derivationprint_derivation75,3218
let pderivationpderivation90,3704
type explanationexplanation95,3825
| MissingAnchoredMissingAnchored96,3844
| MissingAbstractMissingAbstract97,3883
| OnePossibleOnePossible98,3916
| NoRuleForJudgementNoRuleForJudgement99,3947
| NoGoodExplanationNoGoodExplanation100,3984
let possibly_useful_namepossibly_useful_name102,4007
let print_stypeprint_stype110,4207
let print_summaryprint_summary114,4326
let rec print_explanationprint_explanation166,5902
let rec scorescore188,6707
let is_atomicis_atomic197,7004
let make_up_explanationmake_up_explanation208,7312
let rec gather_explanationgather_explanation232,7940
let psummarypsummary268,9114
let print_shortprint_short272,9193
let pshortpshort276,9290
typing/DerivationPrinter.mli,237
DerivationPrinter1,0
val print_derivationprint_derivation25,1575
val pderivationpderivation26,1642
val print_shortprint_short27,1703
val pshortpshort28,1765
val print_summaryprint_summary29,1821
val psummarypsummary30,1873