TAGS


lib/Bash.ml,362
Bash1,0
type colorscolors20,1442
  greengreen21,1458
  redred22,1475
  blueblue23,1490
  yellowyellow24,1506
  orangeorange25,1524
  defaultdefault26,1542
  underlineunderline27,1561
let mkcolormkcolor30,1585
let colorscolors31,1634
let theighttheight41,1813
let theight, twidthtwidth41,1813
let boxbox60,2227
let resetreset84,3026

lib/Bash.mli,325
Bash1,0
type colorscolors23,1552
  greengreen24,1568
  redred25,1585
  blueblue26,1600
  yellowyellow27,1616
  orangeorange28,1634
  defaultdefault29,1652
  underlineunderline30,1671
val colorscolors34,1772
val twidthtwidth37,1822
val theighttheight40,1870
val boxbox43,1910
val resetreset46,1999

lib/Either.ml,277
Either1,0
type ('a, 'b) eithereither21,1443
type ('a, 'b) either = LeftLeft21,1443
type ('a, 'b) either = Left of 'a | RightRight21,1443
let is_leftis_left23,1492
let is_rightis_right24,1551
let assert_leftassert_left25,1611
let assert_rightassert_right26,1678

lib/Either.mli,277
Either1,0
type ('a, 'b) eithereither21,1443
type ('a, 'b) either = LeftLeft21,1443
type ('a, 'b) either = Left of 'a | RightRight21,1443
val is_leftis_left23,1492
val is_rightis_right24,1529
val assert_leftassert_left25,1567
val assert_rightassert_right26,1606

lib/InfiniteArray.ml,349
InfiniteArray1,0
type 'a tt20,1177
    defaultdefault21,1191
    mutable tabletable22,1208
    mutable extentextent23,1237
let default_sizedefault_size26,1321
let makemake29,1372
let rec new_lengthnew_length35,1457
let ensureensure41,1557
let getget50,1802
let setset54,1845
let extentextent59,1931
let domaindomain62,1958

lib/InfiniteArray.mli,153
InfiniteArray1,0
type 'a tt18,1121
val makemake21,1207
val getget25,1341
val setset29,1488
val extentextent35,1755
val domaindomain39,1885

lib/LazyList.ml,406
LazyList1,0
type 'a tt20,1442
and 'a nodenode22,1470
  | NilNil23,1484
  | ConsCons24,1492
let nilnil26,1515
let conscons29,1537
let nextnext32,1578
let tltl35,1603
let hdhd42,1716
let oneone49,1827
let rec filterfilter52,1865
let flattenflatten63,2082
let rec mapmap86,2560
let concatconcat94,2712
let rec iteriter109,3097
let findfind119,3326
let existsexists127,3559

lib/LazyList.mli,417
LazyList1,0
type 'a tt22,1485
and 'a nodenode23,1512
and 'a node = NilNil23,1512
and 'a node = Nil | ConsCons23,1512
val nilnil25,1551
val conscons26,1566
val nextnext27,1596
val tltl28,1623
val hdhd29,1645
val oneone30,1665
val filterfilter31,1686
val flattenflatten32,1728
val mapmap33,1760
val concatconcat34,1797
val iteriter35,1825
val findfind36,1865
val existsexists37,1903

lib/Log.ml,439
Log1,0
exception MzInternalFailureMzInternalFailure20,1442
let the_debug_levelthe_debug_level22,1481
let debug_leveldebug_level24,1510
let enable_debugenable_debug26,1549
let debugdebug30,1625
let warn_countwarn_count38,1827
let warnwarn39,1850
let raise_levelraise_level41,1898
let silentsilent49,2084
let msgmsg56,2224
let fail_with_summaryfail_with_summary62,2350
let errorerror71,2582
let checkcheck79,2779

lib/Log.mli,347
Log1,0
exception MzInternalFailureMzInternalFailure23,1535
val enable_debugenable_debug28,1801
val debug_leveldebug_level30,1833
val debugdebug33,1933
val warnwarn36,2080
val errorerror40,2267
val msgmsg44,2451
val checkcheck47,2573
val raise_levelraise_level50,2704
val silentsilent53,2808
val warn_countwarn_count57,2851

lib/MzList.ml,948
MzList1,0
let rec split3split320,1442
let ignore_mapignore_map27,1587
let rec iter3iter330,1655
let iter2iiter2i40,1871
let check_for_duplicatescheck_for_duplicates52,2347
let exit_if_duplicatesexit_if_duplicates71,2768
let maxmax76,3023
let filter_somefilter_some78,3065
let makemake82,3162
let map2imap2i91,3300
let fold_left3fold_left3107,3590
let fold_left2ifold_left2i119,3909
let fold_leftifold_lefti131,4201
let fold_rightifold_righti140,4378
let reducereduce150,4567
let lastlast153,4628
let nth_optnth_opt155,4673
let map_somemap_some161,4765
let indexindex164,4814
let combine3combine3172,5000
let taketake184,5307
let find_optifind_opti198,5578
let find_optfind_opt211,5797
let take_booltake_bool214,5844
let flatten_mapflatten_map221,5996
let rec split_mapsplit_map224,6049
let cutcut233,6221
let rec equalequal246,6454
let rec cps_mapcps_map255,6604
let rec mapmap265,6759

lib/MzList.mli,910
MzList1,0
val map2imap2i23,1565
val fold_rightifold_righti28,1823
val fold_leftifold_lefti32,1991
val fold_left2ifold_left2i36,2159
val fold_left3fold_left339,2299
val reducereduce43,2516
val iter2iiter2i46,2611
val iter3iter349,2730
val combine3combine352,2873
val split3split355,3004
val makemake58,3114
val lastlast61,3194
val ignore_mapignore_map64,3270
val check_for_duplicatescheck_for_duplicates69,3569
val exit_if_duplicatesexit_if_duplicates75,3901
val maxmax78,4041
val filter_somefilter_some81,4118
val map_somemap_some84,4214
val nth_optnth_opt87,4333
val indexindex90,4456
val taketake95,4662
val take_booltake_bool96,4733
val find_optfind_opt98,4798
val find_optifind_opti99,4854
val flatten_mapflatten_map101,4919
val split_mapsplit_map104,5046
val cutcut106,5110
val equalequal109,5200
val cps_mapcps_map112,5297
val mapmap117,5427

lib/MzMap.ml,457
MzMap1,0
module type SS20,1442
  val keyskeys24,1521
  val unionunion27,1602
  val interinter30,1688
  val minusminus34,1838
  val xorxor37,1932
  val to_listto_list40,2015
  val find_optfind_opt43,2108
module MakeMake46,2154
  module MapMap48,2210
  let keyskeys51,2254
  let unionunion55,2343
  let interinter59,2441
  let minusminus63,2599
  let xorxor66,2700
  let to_listto_list70,2801
  let find_optfind_opt73,2870

lib/MzMap.mli,246
MzMap1,0
module type SS22,1499
  val keyskeys26,1578
  val unionunion29,1659
  val interinter32,1745
  val minusminus36,1895
  val xorxor39,1989
  val to_listto_list42,2072
  val find_optfind_opt45,2165
module MakeMake48,2211

lib/MzPprint.ml,1132
MzPprint1,0
type colorscolors26,1562
  mutable greengreen27,1578
  mutable redred28,1605
  mutable blueblue29,1630
  mutable yellowyellow30,1656
  mutable defaultdefault31,1684
  mutable underlineunderline32,1713
let colorscolors35,1747
let enable_colorsenable_colors44,1871
let disable_colorsdisable_colors53,2242
let arrowarrow69,2556
let dblarrowdblarrow73,2586
let semisemisemisemi76,2616
let ccolonccolon79,2645
let commabreakcommabreak82,2673
let semibreaksemibreak85,2710
let intint88,2745
let larrowlarrow91,2768
let tagoftagof95,2799
let name_genname_gen99,2834
let jumpjump113,3355
let english_joinenglish_join117,3408
let renderrender120,3471
let pdocpdoc126,3677
let dumpdump129,3800
let parens_with_nestingparens_with_nesting144,4096
let brackets_with_nestingbrackets_with_nesting147,4170
let braces_with_nestingbraces_with_nesting158,4332
let array_with_nestingarray_with_nesting161,4406
let pluralplural164,4493
let comma1comma1171,4559
let commascommas174,4592
let tupletuple181,4776
let recordrecord186,4879
let applicationapplication193,5058

lib/MzString.ml,266
MzString1,0
let bsprintfbsprintf20,1442
let bfprintfbfprintf23,1519
let bprintfbprintf27,1696
let beprintfbeprintf30,1737
let bufbuf33,1779
let biprintfbiprintf34,1805
let replacereplace36,1849
let substringsubstring41,1951
let splitsplit44,1999

lib/MzString.mli,246
MzString1,0
val bsprintfbsprintf24,1574
val bfprintfbfprintf28,1750
val bprintfbprintf32,1957
val beprintfbeprintf36,2131
val biprintfbiprintf39,2234
val replacereplace42,2360
val splitsplit45,2469
val substringsubstring49,2643

lib/Option.ml,250
Option1,0
let mapmap20,1442
let map_nonemap_none24,1506
let unit_boolunit_bool28,1563
let extractextract32,1627
let iteriter36,1692
let bindbind40,1755
let is_someis_some45,1832
let flattenflatten47,1884
let to_listto_list49,1935

lib/Option.mli,250
Option1,0
val mapmap24,1623
val map_nonemap_none27,1739
val unit_boolunit_bool32,1953
val extractextract35,2030
val iteriter38,2094
val bindbind41,2191
val is_someis_some43,2246
val flattenflatten45,2278
val to_listto_list47,2322

lib/PersistentRef.ml,363
PersistentRef1,0
module MapMap33,1957
type locationlocation35,1987
type 'a storestore38,2012
  limitlimit39,2030
  heapheap40,2049
let emptyempty45,2094
let makemake52,2162
let getget57,2272
let setset66,2480
let eqeq72,2628
let neqneq75,2670
let comparecompare78,2714
let iteriter83,2789
let foldfold86,2849
let validvalid91,2938

lib/PersistentRef.mli,298
PersistentRef1,0
type locationlocation24,1595
type 'a storestore26,1610
val emptyempty30,1649
val makemake34,1689
val getget38,1758
val setset42,1816
val iteriter46,1900
val foldfold50,1959
val eqeq54,2058
val neqneq55,2095
val comparecompare56,2133
val validvalid60,2200

lib/PersistentUnionFind.ml,466
PersistentUnionFind1,0
type 'a contentcontent35,2093
  | LinkLink36,2111
  | RootRoot37,2132
type 'a statestate39,2148
type pointpoint44,2226
let rec reprrepr52,2464
let initinit66,2816
let createcreate72,2949
let samesame79,3141
let unionunion87,3461
let findfind99,3780
let updateupdate120,4312
let union_computedunion_computed131,4783
let iteriter146,5210
let foldfold149,5284
let comparecompare154,5396
let validvalid156,5433

lib/PersistentUnionFind.mli,380
PersistentUnionFind1,0
type pointpoint24,1524
type 'a statestate30,1688
val initinit34,1749
val createcreate39,1896
val samesame44,2050
val unionunion51,2359
val findfind56,2520
val updateupdate62,2739
val union_computedunion_computed69,3088
val iteriter72,3247
val foldfold76,3367
val comparecompare78,3436
val reprrepr80,3472
val validvalid82,3510

lib/gMap.mli,1022
GMap1,0
module type SS20,1442
  type keykey26,1531
  type 'a tt30,1597
  val emptyempty34,1635
  val lookuplookup39,1795
  val findfind40,1827
  val addadd46,2047
  exception UnchangedUnchanged52,2290
  val strict_addstrict_add54,2313
  type 'a decisiondecision61,2624
  val fine_addfine_add63,2661
  val memmem68,2808
  val singletonsingleton72,2919
  val is_emptyis_empty77,3053
  val is_singletonis_singleton83,3225
  val cardinalcardinal88,3410
  val choosechoose93,3565
  val lookup_and_removelookup_and_remove100,3864
  val find_and_removefind_and_remove101,3914
  val removeremove105,4036
  val unionunion110,4198
  val fine_unionfine_union118,4527
  val iteriter124,4747
  val foldfold133,5173
  val fold_revfold_rev138,5345
  val iter2iter2145,5670
  val mapmap150,5869
  val endo_mapendo_map156,6073
  val comparecompare161,6222
  module DomainDomain170,6682
  val domaindomain172,6732
  val liftlift173,6763
  val corestrictcorestrict180,7027

lib/gSet.mli,585
GSet1,0
module type SS23,1595
  type elementelement29,1688
  type tt33,1720
  val emptyempty37,1755
  val is_emptyis_empty41,1830
  val singletonsingleton46,1946
  val cardinalcardinal50,2029
  val choosechoose55,2181
  val memmem60,2292
  val addadd65,2414
  val removeremove70,2538
  val unionunion74,2640
  val diffdiff78,2754
  val interinter83,2871
  val disjointdisjoint88,3034
  val iteriter93,3204
  val foldfold104,3793
  val elementselements108,3910
  val comparecompare112,3991
  val equalequal116,4070
  val subsetsubset120,4161

lib/patricia.ml,3562
Patricia1,0
module EndiannessEndianness33,2289
  module type SS35,2317
    type maskmask39,2415
    val branching_bitbranching_bit44,2648
    val maskmask50,2995
    val shortershorter56,3289
  module LittleLittle62,3419
    type maskmask64,3445
    let lowest_bitlowest_bit66,3466
    let branching_bitbranching_bit73,3834
    let maskmask79,4087
    let shortershorter84,4186
  module BigBig89,4222
    type maskmask91,4245
    let lowest_bitlowest_bit93,4266
    let rec highest_bithighest_bit96,4308
    let branching_bitbranching_bit113,5330
    let maskmask120,5750
    let shortershorter125,5857
module MakeMake135,6063
  type keykey139,6162
  type 'a tt146,6579
    | EmptyEmpty147,6593
    | LeafLeaf148,6605
    | BranchBranch149,6628
  let emptyempty153,6696
  let rec choosechoose159,6846
  let rec lookuplookup175,7501
  let findfind186,7781
  let memmem192,7894
  let joinjoin206,8464
  let match_prefixmatch_prefix223,9357
  type 'a decisiondecision230,9664
  exception UnchangedUnchanged232,9701
  let basic_addbasic_add234,9724
  let strict_addstrict_add258,10321
  let fine_addfine_add261,10396
  let addadd270,10677
  let singletonsingleton275,10838
  let is_singletonis_singleton281,11008
  let is_emptyis_empty290,11213
  let rec cardinalcardinal300,11443
  let removeremove310,11670
  let rec lookup_and_removelookup_and_remove343,12591
  let find_and_removefind_and_remove365,13236
  let reversereverse375,13679
  let fine_unionfine_union378,13742
  let unionunion436,15278
  let rec iteriter442,15524
  let rec foldfold456,16098
  let rec fold_revfold_rev467,16404
  let rec iter2iter2480,16901
  let rec mapmap498,17451
  let rec endo_mapendo_map509,17801
  let iteratoriterator531,18383
  exception GotGot554,18905
  let comparecompare556,18929
module DomainDomain587,19927
  type elementelement589,19951
  type tt591,19973
    | EmptyEmpty592,19984
    | LeafLeaf593,19996
    | BranchBranch594,20014
  let emptyempty598,20076
  let is_emptyis_empty603,20175
  let singletonsingleton612,20337
  let is_singletonis_singleton619,20510
  let rec choosechoose629,20744
  let rec cardinalcardinal639,20935
  let rec memmem649,21156
  let joinjoin659,21447
  exception UnchangedUnchanged669,21730
  let rec strict_addstrict_add671,21753
  let addadd687,22155
  let make2make2695,22332
  type decisiondecision700,22459
  let fine_addfine_add702,22496
  let removeremove707,22632
  let rec unionunion738,23365
  let fine_unionfine_union791,24629
  let buildbuild797,24859
  let rec diffdiff810,25151
  let rec interinter852,26162
  exception NotDisjointNotDisjoint891,27208
  let disjointdisjoint893,27233
  let rec iteriter930,28163
  let rec foldfold945,28879
  let elementselements956,29129
  let rec fold_revfold_rev961,29300
  let rec iter2iter2972,29566
  let iteratoriterator982,30154
  exception ExistsExists1004,30651
  let existsexists1006,30671
  exception GotGot1018,30859
  let comparecompare1020,30883
  let equalequal1042,31335
  exception NotSubsetNotSubset1048,31558
  let subsetsubset1050,31581
  let filterfilter1092,32543
  let mapmap1111,32901
  let monotone_mapmonotone_map1118,33095
  let endo_mapendo_map1121,33138
  let rec domaindomain1133,33506
  let rec liftlift1143,33787
  let buildbuild1154,34153
    let rec corestrictcorestrict1169,34578
module LittleLittle1206,35520
module BigBig1208,35561

lib/patricia.mli,66
Patricia1,0
module LittleLittle24,1686
module BigBig26,1730

parsing/ClFlags.ml,130
ClFlags1,0
type flagflag1,0
  CErrorCError2,13
  CError | CWarningCWarning2,13
  CError | CWarning | CSilentCSilent2,13

parsing/Datacon.ml,29
Datacon1,0
let pp24,1601

parsing/Driver.ml,1286
Driver1,0
let chop_mz_or_mzichop_mz_or_mzi25,1547
let lex_and_parse_rawlex_and_parse_raw36,1821
let lex_and_parselex_and_parse67,2832
let corelib_dirscorelib_dirs77,3241
let autoload_modulesautoload_modules91,3762
let mkprefixmkprefix99,4119
let lex_and_parse_implementationlex_and_parse_implementation149,5945
let lex_and_parse_interfacelex_and_parse_interface153,6080
let include_dirsinclude_dirs162,6350
let print_include_dirsprint_include_dirs166,6399
let add_include_diradd_include_dir170,6468
let module_name_for_file_pathmodule_name_for_file_path174,6537
let find_in_include_dirsfind_in_include_dirs180,6681
let js_special_mnamejs_special_mname200,7189
let find_and_lex_interfacefind_and_lex_interface202,7242
let find_and_lex_implementationfind_and_lex_implementation218,7727
let check_interfacecheck_interface241,8459
let import_dependencies_in_scopeimport_dependencies_in_scope247,8592
let check_implementationcheck_implementation256,8827
let just_print_interfacejust_print_interface378,13819
let processprocess396,14241
type run_optionsrun_options423,15192
  html_errorshtml_errors424,15213
  backtracesbacktraces425,15234
let runrun428,15257
let print_signatureprint_signature452,15966
let interpretinterpret483,17038

parsing/Driver.mli,435
Driver1,0
type run_optionsrun_options22,1509
  html_errorshtml_errors23,1530
  backtracesbacktraces24,1551
val add_include_diradd_include_dir28,1628
val print_include_dirsprint_include_dirs31,1702
val processprocess35,1879
val runrun38,1995
val print_signatureprint_signature42,2156
val interpretinterpret47,2372
val lex_and_parse_rawlex_and_parse_raw49,2403
val check_implementationcheck_implementation52,2513

parsing/Hashcons.ml,99
Hashcons1,0
type tt20,1442
let createcreate22,1511
let addadd25,1578
let findfind35,1772

parsing/Hashcons.mli,99
Hashcons1,0
type tt22,1481
val createcreate24,1489
val addadd25,1511
val findfind26,1539

parsing/Identifier.ml,304
Identifier1,0
module MakeMake20,1442
  let tabletable24,1540
  type namename30,1668
  type tt32,1692
  let registerregister36,1756
  let printprint39,1819
  let equalequal44,1904
  let comparecompare49,1981
  let hashhash56,2101
  module MapMap62,2204
  let memoizememoize66,2258

parsing/Identifier.mli,278
Identifier1,0
module MakeMake23,1555
  type namename27,1624
  type tt28,1636
  val registerregister32,1727
  val printprint33,1758
  val equalequal37,1842
  val comparecompare38,1876
  val hashhash39,1911
  module MapMap43,1980
  val memoizememoize47,2081

parsing/KeywordGenerator.ml,22
KeywordGenerator1,0

parsing/KeywordPygments.ml,21
KeywordPygments1,0

parsing/Kind.ml,275
Kind1,0
type kindkind1,0
  | KValueKValue2,12
  | KTypeKType3,23
  | KPermKPerm4,33
  | KArrowKArrow5,43
let karrowkarrow7,70
let as_arrowas_arrow12,185
let arityarity21,353
let rec printprint30,493
let print_kindprint_kind42,720
let equalequal45,766

parsing/Kind.mli,282
Kind1,0
type kindkind8,306
  | KValueKValue9,318
  | KTypeKType10,329
  | KPermKPerm11,339
  | KArrowKArrow12,349
val karrowkarrow15,421
val as_arrowas_arrow20,639
val arityarity23,742
val printprint26,842
val print_kindprint_kind27,868
val equalequal30,957

parsing/Lexer.mli,386
Lexer1,0
type errorerror23,1513
exception LexingErrorLexingError26,1585
val initinit29,1679
val tokentoken33,1809
val print_errorprint_error36,1934
val print_positionprint_position40,2112
val pp44,2287
val prangeprange47,2376
val highlight_rangehighlight_range48,2444
val compare_locscompare_locs50,2511
val start_posstart_pos52,2612
val end_posend_pos53,2661

parsing/Module.ml,28
Module1,0
let pp24,1601

parsing/ParserUtils.ml,349
ParserUtils1,0
let varvar22,1462
let rec is_varis_var28,1637
let namename40,1962
let mk_datacon_referencemk_datacon_reference47,2188
let mkprefixmkprefix52,2325
let mkinfixmkinfix55,2396
let mk_tag_update_infomk_tag_update_info76,3004
let mk_fieldmk_field80,3066
let rec mktyappmktyapp85,3136
let mk_concretemk_concrete94,3323

parsing/SurfaceSyntax.ml,5097
SurfaceSyntax1,0
module FieldField30,1825
type datacon_infodatacon_info52,2832
  datacon_namedatacon_name54,2925
  datacon_aritydatacon_arity56,2993
  datacon_indexdatacon_index58,3074
  datacon_fieldsdatacon_fields60,3143
  datacon_flavordatacon_flavor64,3361
let mkdatacon_infomkdatacon_info72,3634
type 'a maybe_qualifiedmaybe_qualified88,4169
  | UnqualifiedUnqualified89,4195
  | QualifiedQualified90,4217
type datacon_referencedatacon_reference102,4720
  datacon_unresolveddatacon_unresolved104,4817
  mutable datacon_infodatacon_info108,5077
let datacon_name_assert_unqualifieddatacon_name_assert_unqualified111,5125
type locationlocation122,5393
let dummy_locdummy_loc124,5444
let is_dummy_locis_dummy_loc126,5498
type binding_flavorbinding_flavor131,5674
type binding_flavor = UserIntroducedUserIntroduced131,5674
type binding_flavor = UserIntroduced | AutoIntroducedAutoIntroduced131,5674
type type_bindingtype_binding133,5729
type variancevariance136,5813
type variance = InvariantInvariant136,5813
type variance = Invariant | CovariantCovariant136,5813
type variance = Invariant | Covariant | ContravariantContravariant136,5813
type variance = Invariant | Covariant | Contravariant | BivariantBivariant136,5813
type type_binding_with_variancetype_binding_with_variance138,5880
type typtyp140,5939
  | TyLocatedTyLocated141,5950
  | TyTupleTyTuple142,5982
  | TyUnknownTyUnknown143,6006
  | TyDynamicTyDynamic144,6020
  | TyEmptyTyEmpty145,6034
  | TyVarTyVar146,6046
  | TyConcreteTyConcrete147,6089
  | TySingletonTySingleton148,6124
  | TyAppTyApp149,6147
  | TyArrowTyArrow150,6175
  | TyForallTyForall151,6200
  | TyExistsTyExists152,6235
  | TyAnchoredPermissionTyAnchoredPermission153,6270
  | TyStarTyStar154,6308
  | TyNameIntroTyNameIntro155,6332
  | TyConsumesTyConsumes156,6371
  | TyBarTyBar157,6393
  | TyAndTyAnd158,6416
  | TyImplyTyImply159,6451
  | TyWildcardTyWildcard160,6488
and mode_constraintmode_constraint162,6504
and data_field_defdata_field_def164,6543
and data_type_branchdata_type_branch166,6582
and adopts_clauseadopts_clause168,6662
let rec tunloctunloc171,6698
type data_type_def_lhsdata_type_def_lhs187,7278
type single_factsingle_fact190,7355
  | FactFact191,7374
type data_type_def_branchdata_type_def_branch205,8302
type data_type_def_rhsdata_type_def_rhs208,8361
  | ConcreteConcrete209,8386
  | AbstractAbstract210,8468
  | AbbrevAbbrev211,8501
type data_type_defdata_type_def213,8520
  lhslhs214,8543
  rhsrhs215,8569
type rec_flagrec_flag220,8660
type rec_flag = NonrecursiveNonrecursive220,8660
type rec_flag = Nonrecursive | RecursiveRecursive220,8660
type data_type_groupdata_type_group230,9168
let binding_of_lhsbinding_of_lhs233,9237
let rec find_branchfind_branch243,9718
type patternpattern262,10115
  | PVarPVar264,10140
  | PTuplePTuple266,10187
  | PConstructPConstruct268,10256
  | PLocatedPLocated270,10354
  | PConstraintPConstraint272,10403
  | PAsPAs274,10451
  | PAnyPAny276,10496
and expressionexpression283,10610
  | EConstraintEConstraint285,10641
  | EVarEVar287,10697
  | EBuiltinEBuiltin289,10759
  | ELetELet291,10851
  | ELetFlexELetFlex293,10939
  | ELocalTypeELocalType295,11011
  | EFunEFun297,11091
  | EAssignEAssign299,11163
  | EAssignTagEAssignTag301,11238
  | EAccessEAccess303,11317
  | EAssertEAssert305,11369
  | EPackEPack307,11418
  | EApplyEApply309,11459
  | ETApplyETApply311,11527
  | EMatchEMatch313,11599
  | ETupleETuple315,11687
  | EConstructEConstruct317,11759
  | EIfThenElseEIfThenElse319,11866
  | EWhileEWhile321,11969
  | EForEFor323,12079
  | ESequenceESequence325,12218
  | ELocatedELocated326,12259
  | EIntEInt327,12297
  | EGiveEGive329,12338
  | ETakeETake330,12375
  | EOwnsEOwns331,12412
  | EFailEFail333,12462
and tag_update_infotag_update_info335,12473
  mutable is_phantom_updateis_phantom_update337,12583
and fieldfield340,12628
  field_namefield_name341,12642
  mutable field_offsetfield_offset343,12754
and offsetoffset346,12796
and tapptapp349,12816
  | OrderedOrdered350,12827
  | NamedNamed351,12846
and for_flagfor_flag353,12880
and for_flag = ToTo353,12880
and for_flag = To | DowntoDownto353,12880
and for_flag = To | Downto | BelowBelow353,12880
and for_flag = To | Downto | Below | AboveAbove353,12880
type definitionsdefinitions361,13040
type toplevel_itemtoplevel_item364,13112
  | DataTypeGroupDataTypeGroup365,13133
  | ValueDefinitionsValueDefinitions366,13170
  | ValueDeclarationValueDeclaration367,13206
  | OpenDirectiveOpenDirective368,13249
type implementationimplementation372,13386
type interfaceinterface377,13533
let rec type_to_patterntype_to_pattern388,13938
and mkpasmkpas458,16036
let print_maybe_qualifiedprint_maybe_qualified471,16361
let destruct_unqualifieddestruct_unqualified477,16502
let unqualifyunqualify483,16642
let maybe_qualified_equalmaybe_qualified_equal488,16718

parsing/SurfaceSyntaxPrinter.ml,678
SurfaceSyntaxPrinter1,0
let rec parenthetic_typeparenthetic_type12,311
and atomic_typeatomic_type21,500
and tight_typetight_type36,770
and normal_typenormal_type47,1027
and loose_typeloose_type70,1624
and consumes_typeconsumes_type88,2155
and very_loose_typevery_loose_type97,2312
and fat_typefat_type112,2746
and arbitrary_typearbitrary_type137,3317
and unqualified_variableunqualified_variable144,3513
and variablevariable147,3571
and bindingbinding150,3639
and concreteconcrete160,3861
and fieldfield180,4313
and mode_constraintmode_constraint189,4588
and datacon_referencedatacon_reference192,4676
let printprint199,4894
let pp202,4924

parsing/SurfaceSyntaxPrinter.mli,61
SurfaceSyntaxPrinter1,0
val printprint6,92
val pp7,119

parsing/Variable.ml,30
Variable1,0
let pp24,1593

parsing/options.ml,277
Options1,0
let pedanticpedantic20,1442
let no_auto_includeno_auto_include24,1473
let filenamefilename28,1511
let please_compileplease_compile33,1619
let warn_errorwarn_error37,1656
let bootboot41,1697
let print_interfaceprint_interface45,1724
let jsjs49,1762

parsing/Keywords.ml,41
Keywords1,0
let keywordskeywords3,84

parsing/JsGlue.ml,102
JsGlue1,0
let highlight_range_highlight_range_22,1512
let highlight_rangehighlight_range25,1608

typing/DataTypeFlavor.ml,276
DataTypeFlavor1,0
type flavorflavor7,238
  | ImmutableImmutable8,252
  | MutableMutable9,266
let equalequal13,296
let printprint18,358
let flavor2modeflavor2mode28,481
let can_adoptcan_adopt36,619
let can_be_writtencan_be_written41,729
let joinjoin53,1127

typing/DeBruijn.ml,496
DeBruijn1,0
class map_countingmap_counting29,1637
  method extendextend34,1847
class liftlift42,1993
  method tyboundtybound46,2156
let liftlift53,2249
class tsubsttsubst66,2673
  method tyboundtybound71,2892
let tsubsttsubst93,3999
let tsubst_branchtsubst_branch96,4076
let tsubst_data_type_grouptsubst_data_type_group99,4172
let bind_in_typebind_in_type107,4520
let bind_rigid_in_typebind_rigid_in_type118,4759
let bind_flexible_in_typebind_flexible_in_type121,4811

typing/DeBruijn.mli,266
DeBruijn1,0
val liftlift25,1527
val tsubsttsubst28,1618
val tsubst_branchtsubst_branch31,1700
val tsubst_data_type_grouptsubst_data_type_group34,1793
val bind_rigid_in_typebind_rigid_in_type40,2138
val bind_flexible_in_typebind_flexible_in_type46,2382

typing/DerivationPrinter.ml,989
DerivationPrinter1,0
let wordswords26,1516
let (^^^^^^27,1555
let print_judgementprint_judgement29,1588
let comma_or_newlinecomma_or_newline67,2973
let rec print_ruleprint_rule70,3026
and print_derivationprint_derivation75,3218
let pderivationpderivation90,3704
type explanationexplanation95,3825
  | MissingAnchoredMissingAnchored96,3844
  | MissingAbstractMissingAbstract97,3883
  | OnePossibleOnePossible98,3916
  | NoRuleForJudgementNoRuleForJudgement99,3947
  | NoGoodExplanationNoGoodExplanation100,3984
let possibly_useful_namepossibly_useful_name102,4007
let print_stypeprint_stype110,4207
let print_summaryprint_summary114,4326
let rec print_explanationprint_explanation166,5902
let rec scorescore188,6707
let is_atomicis_atomic197,7004
let make_up_explanationmake_up_explanation208,7312
let rec gather_explanationgather_explanation232,7940
let psummarypsummary268,9114
let print_shortprint_short272,9193
let pshortpshort276,9290

typing/DerivationPrinter.mli,237
DerivationPrinter1,0
val print_derivationprint_derivation25,1575
val pderivationpderivation26,1642
val print_shortprint_short27,1703
val pshortpshort28,1765
val print_summaryprint_summary29,1821
val psummarypsummary30,1873

typing/Derivations.ml,1149
Derivations1,0
module LL24,1480
type derivationderivation30,1717
  | GoodGood31,1735
  | BadBad33,1807
and rulerule37,1951
and rule_instancerule_instance43,2215
and judgementjudgement45,2243
  | JSubTypeJSubType46,2259
  | JSubVarJSubVar47,2285
  | JSubPermJSubPerm48,2310
  | JSubPermsJSubPerms49,2330
  | JSubFloatingJSubFloating50,2356
  | JSubConstraintJSubConstraint51,2380
  | JSubConstraintsJSubConstraints52,2418
  | JEqualJEqual53,2462
  | JLtJLt54,2486
  | JGtJGt55,2507
  | JNothingJNothing56,2528
  | JAddJAdd57,2541
  | JDebugJDebug58,2557
type resultresult64,2847
let option_of_resultoption_of_result66,2906
let no_proofno_proof75,3137
let nothingnothing80,3330
let is_good_derivationis_good_derivation84,3463
let is_bad_derivationis_bad_derivation86,3530
let is_goodis_good88,3596
type statestate96,3995
let ( >>~>>~100,4164
let apply_axiomapply_axiom110,4379
let try_prooftry_proof119,4659
let ( >>=>>=137,5291
let qedqed156,5955
let failfail160,6036
let premisespremises164,6155
let walkwalk176,6387
let try_severaltry_several224,8410
let parpar253,9407

typing/Derivations.mli,1109
Derivations1,0
type derivationderivation28,1661
  | GoodGood29,1679
  | BadBad31,1751
and rulerule36,2030
and rule_instancerule_instance39,2076
and judgementjudgement41,2104
  | JSubTypeJSubType42,2120
  | JSubVarJSubVar43,2146
  | JSubPermJSubPerm44,2171
  | JSubPermsJSubPerms45,2191
  | JSubFloatingJSubFloating46,2217
  | JSubConstraintJSubConstraint47,2241
  | JSubConstraintsJSubConstraints48,2279
  | JEqualJEqual49,2323
  | JLtJLt50,2347
  | JGtJGt51,2368
  | JNothingJNothing52,2389
  | JAddJAdd53,2402
  | JDebugJDebug54,2418
val is_bad_derivationis_bad_derivation56,2443
val is_good_derivationis_good_derivation57,2485
type resultresult65,2838
val no_proofno_proof69,3034
val apply_axiomapply_axiom79,3296
val try_severaltry_several90,3871
val parpar100,4109
val nothingnothing105,4349
val option_of_resultoption_of_result110,4493
val is_goodis_good113,4595
type statestate119,4735
val try_prooftry_proof124,4964
val premisespremises129,5262
val ( >>=>>=135,5630
val qedqed138,5741
val failfail141,5797
val ( >>~>>~147,5934

typing/Exports.ml,460
Exports1,0
module TT20,1442
type value_exportsvalue_exports22,1463
type datacon_exportsdatacon_exports23,1513
let bind_implementation_valuesbind_implementation_values25,1594
let bind_implementation_typesbind_implementation_types33,1877
let bind_interface_valuebind_interface_value54,2503
let bind_interface_typesbind_interface_types65,2757
let find_qualified_varfind_qualified_var88,3517
let find_unqualified_varfind_unqualified_var96,3775

typing/Exports.mli,441
Exports1,0
type value_exportsvalue_exports44,2697
type datacon_exportsdatacon_exports46,2755
val bind_implementation_valuesbind_implementation_values52,3107
val bind_implementation_typesbind_implementation_types57,3265
val bind_interface_valuebind_interface_value65,3658
val bind_interface_typesbind_interface_types70,3838
val find_qualified_varfind_qualified_var77,4163
val find_unqualified_varfind_unqualified_var81,4390

typing/Expressions.ml,2791
Expressions1,0
let e_unite_unit38,1995
let p_unitp_unit42,2024
let map_tappmap_tapp46,2053
let rec collect_patterncollect_pattern56,2335
let collect_patterncollect_pattern71,2755
let rec count_patterncount_pattern76,2984
and count_fieldcount_field92,3345
and count_patternscount_patterns95,3399
let count_patexprcount_patexpr98,3468
let count_patexprscount_patexprs101,3524
let n_defsn_defs105,3645
let rec psubstpsubst110,3808
let tsubst_pattsubst_pat157,5146
let resolve_branchresolve_branch187,5987
let resolve_definitionresolve_definition191,6098
let rec bind_group_inbind_group_in204,6354
and bind_group_in_groupbind_group_in_group216,6732
and bind_group_definitionsbind_group_definitions219,6851
and bind_groupbind_group227,7207
and bind_group_in_exprbind_group_in_expr240,7705
and bind_group_in_toplevel_itemsbind_group_in_toplevel_items244,7806
and extract_dataconsextract_datacons248,7955
and bind_data_type_group_inbind_data_type_group_in266,8620
and bind_data_type_group_in_exprbind_data_type_group_in_expr293,9637
and bind_data_type_group_in_toplevel_itemsbind_data_type_group_in_toplevel_items300,9887
and tsubst_patexprstsubst_patexprs310,10384
and tsubst_exprtsubst_expr320,10713
and tsubst_deftsubst_def443,13948
and tsubst_toplevel_itemstsubst_toplevel_items448,14086
and esubst_patexprsesubst_patexprs475,15238
and esubstesubst488,15679
and esubst_defesubst_def601,18282
and esubst_toplevel_itemsesubst_toplevel_items606,18420
type substitution_kitsubstitution_kit633,19755
  subst_typesubst_type635,19837
  subst_exprsubst_expr637,19949
  subst_defsubst_def639,20073
  subst_toplevelsubst_toplevel641,20201
  subst_patsubst_pat643,20314
  varsvars645,20398
  namesnames647,20458
let eloceloc650,20490
let rec eunloceunloc658,20638
let bind_evarsbind_evars669,20907
let bind_varsbind_vars711,22357
let bind_patexprsbind_patexprs721,22846
module ExprPrinterExprPrinter735,23279
  let print_maybe_qualified_dataconprint_maybe_qualified_datacon740,23344
  let pmaybe_qualified_dataconpmaybe_qualified_datacon744,23461
  let print_datacon_referenceprint_datacon_reference749,23574
  let rec print_patexprprint_patexpr753,23689
  and print_patexprsprint_patexprs764,23998
  and print_patprint_pat767,24116
  and print_tappprint_tapp799,25030
  and print_exprprint_expr806,25247
  and print_rec_flagprint_rec_flag944,30229
  and print_ebinderprint_ebinder951,30340
  and print_binderprint_binder955,30521
  let print_definitionsprint_definitions959,30661
  let print_sig_itemprint_sig_item964,30874
  let psigitempsigitem968,31005
  let pdefinitionspdefinitions972,31097
  let pexprpexpr976,31216
  let ppatppat980,31305
  let ptappptapp984,31390

typing/Expressions.mli,1543
Expressions1,0
val bind_data_type_group_in_toplevel_itemsbind_data_type_group_in_toplevel_items35,1952
val bind_data_type_group_in_exprbind_data_type_group_in_expr39,2212
val resolve_branchresolve_branch44,2498
val e_unite_unit69,3356
val p_unitp_unit72,3413
val eunloceunloc75,3496
val eloceloc78,3589
val tsubst_exprtsubst_expr83,3676
type substitution_kitsubstitution_kit93,4162
  subst_typesubst_type94,4188
  subst_exprsubst_expr95,4215
  subst_defsubst_def96,4256
  subst_toplevelsubst_toplevel97,4298
  subst_patsubst_pat98,4358
  varsvars99,4402
  namesnames100,4421
val bind_evarsbind_evars104,4505
val bind_varsbind_vars109,4629
val bind_patexprsbind_patexprs123,5344
module ExprPrinterExprPrinter130,5526
    val print_maybe_qualified_dataconprint_maybe_qualified_datacon132,5553
    val pmaybe_qualified_dataconpmaybe_qualified_datacon134,5663
    val print_datacon_referenceprint_datacon_reference136,5767
    val print_patexprprint_patexpr138,5860
    val print_patexprsprint_patexprs140,5939
    val print_patprint_pat142,6026
    val print_tappprint_tapp143,6082
    val print_exprprint_expr144,6136
    val print_rec_flagprint_rec_flag145,6196
    val print_ebinderprint_ebinder146,6251
    val print_binderprint_binder149,6337
    val print_definitionsprint_definitions153,6449
    val print_sig_itemprint_sig_item157,6534
    val psigitempsigitem159,6613
    val pdefinitionspdefinitions161,6686
    val pexprpexpr162,6747
    val ppatppat163,6800

typing/ExpressionsCore.ml,1747
ExpressionsCore1,0
type tag_update_infotag_update_info29,1662
type fieldfield32,1720
type patternpattern43,2035
  | PVarPVar45,2060
  | PTuplePTuple48,2191
  | PConstructPConstruct50,2260
  | POpenPOpen53,2476
  | PAsPAs54,2493
  | PAnyPAny55,2522
type rec_flagrec_flag62,2636
type rec_flag = SurfaceSyntax.rec_flag = NonrecursiveNonrecursive62,2636
type rec_flag = SurfaceSyntax.rec_flag = Nonrecursive | RecursiveRecursive62,2636
type expressionexpression64,2703
  | EConstraintEConstraint66,2735
  | EVarEVar68,2788
  | EOpenEOpen70,2825
  | EBuiltinEBuiltin72,2862
  | ELetELet74,2937
  | ELetFlexELetFlex76,3010
  | ELocalTypeELocalType78,3093
  | EBigLambdasEBigLambdas80,3162
  | ELambdaELambda86,3529
  | EAssignEAssign88,3584
  | EAssignTagEAssignTag90,3655
  | EAccessEAccess92,3733
  | EAssertEAssert94,3785
  | EPackEPack96,3834
  | EApplyEApply98,3875
  | ETApplyETApply100,3943
  | EMatchEMatch102,4017
  | ETupleETuple104,4090
  | EConstructEConstruct106,4160
  | EIfThenElseEIfThenElse108,4264
  | ELocatedELocated109,4327
  | EIntEInt110,4365
  | EGiveEGive112,4406
  | ETakeETake113,4443
  | EOwnsEOwns114,4480
  | EFailEFail116,4530
and tapptapp118,4541
  | OrderedOrdered119,4552
  | NamedNamed120,4571
and patexprpatexpr122,4605
type definitionsdefinitions133,5106
type sig_itemsig_item136,5178
type toplevel_itemtoplevel_item139,5217
  | DataTypeGroupDataTypeGroup140,5238
  | ValueDefinitionsValueDefinitions141,5275
  | ValueDeclarationValueDeclaration142,5311
type implementationimplementation144,5345
type interfaceinterface147,5389
let internal_ppatinternal_ppat150,5428
let internal_ptappinternal_ptapp151,5523

typing/ExpressionsCore.mli,1753
ExpressionsCore1,0
type tag_update_infotag_update_info29,1646
type fieldfield31,1700
type patternpattern36,1919
    PVarPVar37,1934
  | PTuplePTuple38,1971
  | PConstructPConstruct39,1998
  | POpenPOpen40,2063
  | PAsPAs41,2080
  | PAnyPAny42,2109
type rec_flagrec_flag44,2119
type rec_flag = SurfaceSyntax.rec_flag = NonrecursiveNonrecursive44,2119
type rec_flag = SurfaceSyntax.rec_flag = Nonrecursive | RecursiveRecursive44,2119
type expressionexpression48,2307
    EConstraintEConstraint49,2325
  | EVarEVar50,2361
  | EOpenEOpen51,2382
  | EBuiltinEBuiltin52,2399
  | ELetELet53,2422
  | ELetFlexELetFlex54,2471
  | ELocalTypeELocalType55,2524
  | EBigLambdasEBigLambdas56,2571
  | ELambdaELambda57,2632
  | EAssignEAssign58,2670
  | EAssignTagEAssignTag59,2717
  | EAccessEAccess60,2783
  | EAssertEAssert61,2817
  | EPackEPack62,2836
  | EApplyEApply63,2859
  | ETApplyETApply64,2897
  | EMatchEMatch65,2937
  | ETupleETuple66,2984
  | EConstructEConstruct67,3014
  | EIfThenElseEIfThenElse68,3082
  | ELocatedELocated69,3145
  | EIntEInt70,3183
  | EGiveEGive71,3199
  | ETakeETake72,3236
  | EOwnsEOwns73,3273
  | EFailEFail74,3310
and tapptapp76,3321
and tapp = OrderedOrdered76,3321
and tapp = Ordered of typ | NamedNamed76,3321
and patexprpatexpr78,3379
type definitionsdefinitions80,3415
type sig_itemsig_item83,3487
type toplevel_itemtoplevel_item85,3524
    DataTypeGroupDataTypeGroup86,3545
  | ValueDefinitionsValueDefinitions87,3582
  | ValueDeclarationValueDeclaration88,3618
type implementationimplementation90,3652
type interfaceinterface92,3694
val internal_ppatinternal_ppat96,3740
val internal_ptappinternal_ptapp97,3801

typing/Fact.ml,1020
Fact1,0
type parameterparameter29,1787
module ParameterMapParameterMap32,1813
type propertyproperty43,2162
and factfact45,2184
and hypothesishypothesis48,2219
  | HFalseHFalse49,2236
  | HConjunctionHConjunction50,2247
and hypotheseshypotheses52,2279
let trivialtrivial57,2349
let binary_conjunctionbinary_conjunction62,2445
let conjunctionconjunction81,3008
let binary_disjunctionbinary_disjunction91,3362
let constantconstant110,4086
let bottombottom117,4221
let implicationimplication123,4343
let duplicableduplicable133,4539
let allow_exclusiveallow_exclusive139,4707
let disallow_exclusivedisallow_exclusive145,4877
let joinjoin150,4995
let join_manyjoin_many160,5240
let meetmeet169,5531
let parameterparameter182,5904
let canonicalizecanonicalize189,6021
let equalequal195,6203
let leqleq210,6736
let is_maximalis_maximal230,7530
let composecompose239,7867
let completecomplete257,8506
let printprint278,9295
let internal_printinternal_print307,10167

typing/Fact.mli,853
Fact1,0
type parameterparameter27,1653
module ParameterMapParameterMap30,1679
type propertyproperty70,3357
and factfact76,3572
and hypothesishypothesis89,4206
  | HFalseHFalse90,4223
  | HConjunctionHConjunction91,4234
and hypotheseshypotheses93,4266
val conjunctionconjunction105,4658
val bottombottom112,4891
val equalequal115,4926
val leqleq118,4988
val joinjoin121,5070
val join_manyjoin_many122,5101
val meetmeet128,5413
val is_maximalis_maximal132,5555
val constantconstant141,5921
val implicationimplication148,6256
val duplicableduplicable151,6354
val allow_exclusiveallow_exclusive155,6512
val disallow_exclusivedisallow_exclusive159,6639
val parameterparameter163,6806
val composecompose169,7096
val completecomplete174,7303
val printprint186,7689
val internal_printinternal_print191,7934

typing/FactInference.ml,783
FactInference1,0
let assumeassume34,1694
type worldworld60,3040
  envenv62,3080
  variablesvariables65,3229
  valuationvaluation68,3383
  parametersparameters71,3519
let trivial_worldtrivial_world78,3775
let rec inferinfer93,4260
and infer_concreteinfer_concrete238,9905
and infer_fieldinfer_field254,10438
and infer_with_kindsinfer_with_kinds257,10480
and infer_with_kindinfer_with_kind260,10560
and bind_assume_inferbind_assume_infer271,10823
let prepare_branchesprepare_branches300,11821
let prepare_typeprepare_type326,12797
let check_adopts_clausescheck_adopts_clauses365,14248
let analyze_data_typesanalyze_data_types397,15575
let has_modehas_mode483,18545
let is_duplicableis_duplicable501,19058
let is_exclusiveis_exclusive504,19105

typing/FactInference.mli,203
FactInference1,0
val assumeassume29,1719
val analyze_data_typesanalyze_data_types37,2168
val has_modehas_mode42,2401
val is_duplicableis_duplicable45,2487
val is_exclusiveis_exclusive48,2570

typing/Hoist.ml,146
Hoist1,0
class hoisthoist22,1457
  method visitvisit29,1759
let hoisthoist67,2634
let rec extract_constraintsextract_constraints74,2889

typing/Hoist.mli,87
Hoist1,0
val hoisthoist37,2399
val extract_constraintsextract_constraints42,2523

typing/Interfaces.ml,187
Interfaces1,0
module SS24,1512
module EE25,1537
module TT26,1564
let build_interfacebuild_interface33,1873
let import_interfaceimport_interface41,2192
let checkcheck93,4285

typing/Interfaces.mli,86
Interfaces1,0
val import_interfaceimport_interface32,2116
val checkcheck40,2635

typing/KindCheck.ml,4603
KindCheck1,0
type levellevel32,1925
type 'v varvar46,2530
       LocalLocal47,2544
  | NonLocalNonLocal48,2566
module VV53,2687
module DD56,2735
type varietyvariety68,3398
  | RealReal69,3413
  | FictionalFictional70,3463
type 'v envenv75,3635
  levellevel78,3689
  variablesvariables82,3823
  dataconsdatacons87,4084
  module_namemodule_name90,4175
  locloc93,4249
module PP101,4401
  let print_nameprint_name107,4466
  let print_nameietyprint_nameiety114,4631
  let print_envprint_env120,4732
  let penvpenv128,5055
  let print_fieldprint_field133,5179
  let print_fieldsprint_fields136,5241
  let p_fieldsp_fields139,5323
let pp144,5393
type errorerror150,5508
  | UnboundUnbound151,5521
  | BoundTwiceBoundTwice152,5581
  | FictionalEVarFictionalEVar153,5644
  | MismatchMismatch154,5711
  | ArityMismatchArityMismatch155,5771
  | ModeConstraintMismatchModeConstraintMismatch156,5834
  | IllegalConsumesIllegalConsumes157,5910
  | BadHypothesisInFactBadHypothesisInFact158,5930
  | BadConclusionInFactBadConclusionInFact159,5954
  | NonDistinctHeadsInFactNonDistinctHeadsInFact160,6063
  | AdopterNotExclusiveAdopterNotExclusive161,6170
  | FieldMismatchFieldMismatch162,6240
  | ImplicationOnlyOnArrowImplicationOnlyOnArrow163,6350
  | MissingExportMissingExport164,6377
  | TwiceMutableTwiceMutable165,6412
  | MalformedBranchMalformedBranch166,6469
exception KindErrorKindError170,6531
let print_errorprint_error174,6605
let raise_errorraise_error286,10648
let unboundunbound289,10713
let bound_twicebound_twice292,10821
let mismatchmismatch295,10914
let implication_only_on_arrowimplication_only_on_arrow298,11022
let emptyempty305,11213
let module_namemodule_name317,11471
let enter_moduleenter_module320,11512
let locationlocation331,11887
let findfind335,11991
let find_kindfind_kind341,12124
let find_varietyfind_variety345,12194
let find_varfind_var352,12439
let level2indexlevel2index357,12585
let find_datacon_rawfind_datacon_raw363,12703
let find_dataconfind_datacon368,12962
let resolve_dataconresolve_datacon374,13167
let check_for_duplicate_bindingscheck_for_duplicate_bindings391,13936
let check_for_duplicate_dataconscheck_for_duplicate_datacons396,14246
let check_for_duplicate_fieldscheck_for_duplicate_fields406,14605
let locatelocate419,15045
let bind_variablebind_variable423,15155
let new_local_namenew_local_name429,15452
let bind_localbind_local436,15729
let bind_nonlocalbind_nonlocal442,15976
let extendextend448,16232
let extend_checkextend_check452,16422
let bind_dataconbind_datacon456,16592
let bind_nonlocal_dataconbind_nonlocal_datacon459,16725
let bind_external_namebind_external_name462,16813
let bind_external_dataconbind_external_datacon466,17026
let dissolvedissolve476,17257
let rec bvbv494,18044
let bvbv516,18671
let namesnames535,19509
let resetreset541,19678
let bindings_data_group_typesbindings_data_group_types552,20203
let bind_data_group_dataconsbind_data_group_datacons558,20562
let rec check_fact_parametercheck_fact_parameter592,21778
let rec equal_TyVarequal_TyVar602,22174
let rec check_fact_conclusioncheck_fact_conclusion612,22427
let check_distinct_headscheck_distinct_heads624,22907
let check_factscheck_facts630,23183
type ss658,24598
  | ConsumesAllowedConsumesAllowed659,24607
  | ConsumesDisallowedConsumesDisallowed660,24627
let rec checkcheck662,24651
and inferinfer688,25527
and infer_resetinfer_reset792,28401
and check_resetcheck_reset795,28482
and check_branchcheck_branch800,28734
and check_fieldcheck_field806,28942
and check_exact_fieldscheck_exact_fields812,29140
and check_mode_constraintcheck_mode_constraint830,29914
let check_unresolved_branchcheck_unresolved_branch864,31237
let check_data_type_defcheck_data_type_def874,31698
let branches_of_data_type_groupbranches_of_data_type_group902,32811
let branches_of_interfacebranches_of_interface912,33044
let rec check_patterncheck_pattern928,33565
let appropriateappropriate951,34232
let rec check_patexprcheck_patexpr963,34633
and check_expressioncheck_expression986,35680
and check_type_argumentcheck_type_argument1109,39222
and check_data_type_groupcheck_data_type_group1114,39332
let check_implementationcheck_implementation1134,40283
let check_interfacecheck_interface1159,41055
let find_variablefind_variable1190,42124
let find_nonlocal_variablefind_nonlocal_variable1198,42489
let extendextend1213,42869
let get_exportsget_exports1216,42928

typing/KindCheck.mli,1178
KindCheck1,0
type 'v varvar37,2352
       LocalLocal38,2366
  | NonLocalNonLocal39,2386
type 'v envenv41,2406
exception KindErrorKindError48,2605
val implication_only_on_arrowimplication_only_on_arrow51,2738
val emptyempty58,2931
val module_namemodule_name65,3167
val locationlocation68,3273
val find_variablefind_variable72,3411
val find_kindfind_kind76,3567
val find_nonlocal_variablefind_nonlocal_variable84,4023
val resolve_dataconresolve_datacon91,4436
val get_exportsget_exports95,4688
val locatelocate102,4927
val enter_moduleenter_module106,5100
val extendextend112,5407
val bind_nonlocalbind_nonlocal116,5586
val dissolvedissolve121,5825
val bindings_data_group_typesbindings_data_group_types125,5977
val bind_data_group_dataconsbind_data_group_datacons130,6271
val bind_nonlocal_dataconbind_nonlocal_datacon132,6341
val bind_external_namebind_external_name141,6703
val bind_external_dataconbind_external_datacon142,6790
val bvbv151,7245
val namesnames156,7497
val infer_resetinfer_reset163,7718
val check_implementationcheck_implementation168,7923
val check_interfacecheck_interface173,8143
val pp179,8310

typing/KindPrinter.ml,413
KindPrinter1,0
let print_abstract_type_defprint_abstract_type_def10,187
let print_nameianceprint_nameiance15,347
let print_data_type_defprint_data_type_def28,608
let print_abbrev_type_defprint_abbrev_type_def50,1378
let print_defprint_def65,2010
let print_kindsprint_kinds76,2344
let print_groupprint_group87,2716
let pgrouppgroup96,3043
let print_kinds_and_factsprint_kinds_and_facts101,3131

typing/KindPrinter.mli,92
KindPrinter1,0
val pgrouppgroup1,0
val print_kinds_and_factsprint_kinds_and_facts2,72

typing/Mark.ml,79
Mark1,0
type tt20,1442
let createcreate22,1461
let equalsequals25,1487

typing/Mark.mli,79
Mark1,0
type tt20,1442
val createcreate21,1449
val equalsequals22,1471

typing/Merge.ml,544
Merge1,0
type tt25,1490
type outcomeoutcome27,1547
type outcome = MergeWithMergeWith27,1547
type outcome = MergeWith of var | ProceedProceed27,1547
type outcome = MergeWith of var | Proceed | AbortAbort27,1547
let build_flexible_type_applicationbuild_flexible_type_application31,1693
let is_validis_valid43,2288
module LifoLifo53,2397
  let createcreate54,2418
  let poppop55,2445
  let pushpush56,2502
  let removeremove57,2534
let actually_merge_envsactually_merge_envs66,2725
let merge_envsmerge_envs1115,48873

typing/Merge.mli,62
Merge1,0
type tt24,1509
val merge_envsmerge_envs43,2494

typing/Mode.ml,495
Mode1,0
type modemode20,1442
  | ModeBottomModeBottom21,1454
  | ModeDuplicableModeDuplicable22,1469
  | ModeExclusiveModeExclusive23,1488
  | ModeAffineModeAffine24,1506
let equalequal28,1547
let comparecompare31,1589
let bottombottom34,1647
let toptop37,1674
let is_maximalis_maximal40,1698
let leqleq46,1775
let meetmeet56,1954
let printprint67,2148
let modesmodes77,2316
module ModeMapModeMap84,2395
  let totaltotal93,2546
  let completecomplete100,2673

typing/Mode.mli,470
Mode1,0
type modemode45,2570
  | ModeBottomModeBottom46,2582
  | ModeDuplicableModeDuplicable47,2597
  | ModeExclusiveModeExclusive48,2616
  | ModeAffineModeAffine49,2634
val bottombottom52,2691
val toptop55,2753
val equalequal58,2785
val comparecompare61,2835
val is_maximalis_maximal64,2919
val leqleq67,2978
val meetmeet70,3063
val printprint73,3112
module ModeMapModeMap76,3163
  val totaltotal81,3384
  val completecomplete85,3587

typing/Modules.ml,152
Modules1,0
module SS23,1608
module EE24,1633
let collect_dependenciescollect_dependencies27,1692
let all_dependenciesall_dependencies183,6297

typing/Modules.mli,59
Modules1,0
val all_dependenciesall_dependencies22,1485

typing/Namespace.ml,883
Namespace1,0
module MakeNamespaceMakeNamespace5,70
  type namename12,268
  type 'a local_envlocal_env16,351
  type 'a global_envglobal_env20,430
    modulesmodules22,510
    currentcurrent24,604
  let emptyempty27,636
  let lookup_locallookup_local32,732
  let extend_localextend_local35,812
  let lookup_unqualifiedlookup_unqualified38,912
  let extend_unqualifiedextend_unqualified41,1009
  let lookup_qualifiedlookup_qualified44,1151
  let lookup_maybe_qualifiedlookup_maybe_qualified53,1491
  let freezefreeze60,1751
  let extend_qualifiedextend_qualified74,2451
  let qualifyqualify89,3082
  let unqualifyunqualify101,3512
  let zapzap115,4161
  let unqualified_namesunqualified_names118,4251
  let print_local_envprint_local_env125,4410
  let print_module_envprint_module_env132,4621
  let print_global_envprint_global_env139,4846

typing/Namespace.mli,125
Namespace1,0
module MakeNamespaceMakeNamespace5,70
  type namename7,134
  val printprint8,146
  module MapMap9,174

typing/NamespaceSignature.ml,616
NamespaceSignature1,0
module type NamespaceNamespace6,134
  type namename9,189
  type 'a global_envglobal_env12,285
  val emptyempty15,345
  val lookup_unqualifiedlookup_unqualified18,437
  val extend_unqualifiedextend_unqualified21,553
  val lookup_qualifiedlookup_qualified24,686
  val extend_qualifiedextend_qualified27,812
  val lookup_maybe_qualifiedlookup_maybe_qualified30,967
  val qualifyqualify33,1116
  val freezefreeze36,1259
  val unqualifyunqualify39,1399
  val zapzap42,1502
  val unqualified_namesunqualified_names45,1585
  val print_global_envprint_global_env50,1694

typing/Permissions.ml,1889
Permissions1,0
module LL31,1709
let safety_checksafety_check41,2065
let refresh_factsrefresh_facts108,4838
let j_merge_leftj_merge_left121,5210
let add_floating_permadd_floating_perm146,6157
let add_hintadd_hint155,6450
let perm_not_flexperm_not_flex166,6714
let wrap_barwrap_bar181,7152
let split_flexible_as_concrete_typesplit_flexible_as_concrete_type208,7993
let split_flexible_as_tuple_typesplit_flexible_as_tuple_type229,8543
type sideside243,8880
type side = LeftLeft243,8880
type side = Left | RightRight243,8880
let is_singletonis_singleton245,8906
class open_all_rigid_inopen_all_rigid_in263,9654
  methodvisit279,10493
  methodbranch372,14069
  methodfield379,14324
let open_all_rigid_inopen_all_rigid_in387,14616
let rec clean_varsclean_vars395,14918
and clean_floating_permissionsclean_floating_permissions404,15241
and instantiate_flexibleinstantiate_flexible410,15444
and import_flex_instanciationsimport_flex_instanciations414,15580
and j_flex_instj_flex_inst420,15788
and unifyunify431,16159
and keep_only_duplicablekeep_only_duplicable449,16860
and addadd466,17448
and add_permadd_perm626,23895
and add_permsadd_perms664,25027
and add_perm_rawadd_perm_raw667,25090
and add_typeadd_type673,25336
and subsub697,26205
and sub_constraintsub_constraint773,28850
and sub_constraintssub_constraints783,29207
and sub_type_with_unfoldingsub_type_with_unfolding793,29595
and sub_typesub_type823,30727
and add_subadd_sub1193,44889
and sub_permsub_perm1381,52632
and sub_permssub_perms1430,53983
and sub_floating_permsub_floating_perm1459,55151
let pick_arbitrarypick_arbitrary1482,55755
type resultresult1486,55787
let drop_derivationdrop_derivation1488,55842
let sub_typesub_type1498,56128
let subsub1502,56218
let sub_permsub_perm1506,56283
let sub_constraintsub_constraint1510,56350

typing/Permissions.mli,526
Permissions1,0
type resultresult30,1823
val unifyunify34,1993
val addadd38,2140
val add_permadd_perm42,2275
val subsub46,2452
val sub_typesub_type51,2709
val sub_permsub_perm53,2752
val add_hintadd_hint55,2788
val sub_constraintsub_constraint57,2844
val keep_only_duplicablekeep_only_duplicable60,2959
val instantiate_flexibleinstantiate_flexible63,3058
val import_flex_instanciationsimport_flex_instanciations66,3178
val drop_derivationdrop_derivation69,3298
val safety_checksafety_check74,3432

typing/Resugar.ml,506
Resugar1,0
module SS4,38
let surface_print_namesurface_print_name6,64
let surface_print_varsurface_print_var14,262
let resugar_bindingresugar_binding26,683
let ( !!!!29,788
let rec resugarresugar37,1011
and resugar_arrowresugar_arrow123,4489
and resugar_resolved_branchresugar_resolved_branch154,5823
and resugar_fieldresugar_field171,6583
and reset_mode_constraintreset_mode_constraint174,6660
and resetreset177,6725
and spill_soupspill_soup184,6916
let resugarresugar193,7165

typing/Resugar.mli,87
Resugar1,0
val surface_print_namesurface_print_name5,118
val resugarresugar9,304

typing/TransSurface.ml,1914
TransSurface1,0
module TT37,2039
module EE38,2059
type envenv40,2087
let name_username_user46,2288
let name_autoname_auto47,2363
let tvartvar50,2489
let evarevar56,2666
let resolve_dataconresolve_datacon61,2751
let rec conjunctionconjunction67,2946
let toptop74,3062
let twicetwice82,3170
let auto_tyqauto_tyq85,3203
let rec translate_type_rawtranslate_type_raw106,4334
and translate_typetranslate_type218,7831
and translate_arrow_typetranslate_arrow_type221,7934
and translate_type_reset_rawtranslate_type_reset_raw249,9240
and translate_type_resettranslate_type_reset260,9711
and translate_type_reset_no_kindtranslate_type_reset_no_kind263,9795
and translate_fields_valuestranslate_fields_values266,9880
and translate_adopts_clausetranslate_adopts_clause273,10070
and translate_quantified_type_rawtranslate_quantified_type_raw280,10263
and translate_mode_constraint_rawtranslate_mode_constraint_raw286,10496
and translate_implication_rawtranslate_implication_raw290,10608
let translate_data_type_def_branchtranslate_data_type_def_branch309,11482
let translate_single_facttranslate_single_fact361,13361
let translate_facttranslate_fact395,14872
let translate_data_type_deftranslate_data_type_def402,15183
let translate_data_type_grouptranslate_data_type_group451,17077
let clean_patternclean_pattern494,18660
let rec translate_patterntranslate_pattern542,20178
let strip_tappstrip_tapp571,21172
let map_tappmap_tapp578,21255
let rec extrude_wildcardsextrude_wildcards589,21646
let rec translate_exprtranslate_expr648,23690
and translate_patexprstranslate_patexprs905,32710
let translate_itemtranslate_item940,33943
let rec translate_itemstranslate_items963,34792
let translate_implementationtranslate_implementation975,35148
let translate_interfacetranslate_interface981,35437
let translate_type_resettranslate_type_reset985,35615

typing/TransSurface.mli,271
TransSurface1,0
type envenv24,1537
val translate_type_resettranslate_type_reset27,1625
val translate_data_type_grouptranslate_data_type_group36,2159
val translate_implementationtranslate_implementation43,2358
val translate_interfacetranslate_interface46,2503

typing/TypeChecker.ml,897
TypeChecker1,0
let add_hintadd_hint31,1640
let merge_and_pack_conflictsmerge_and_pack_conflicts35,1682
let is_data_type_with_two_constructorsis_data_type_with_two_constructors44,2054
let has_adopts_clausehas_adopts_clause75,2933
let expand_if_one_branch_even_if_anchoredexpand_if_one_branch_even_if_anchored96,3498
let transform_constructor_permissiontransform_constructor_permission117,4428
let replace_fieldreplace_field139,5118
let check_function_callcheck_function_call152,5421
let check_return_typecheck_return_type250,8672
let rec type_for_function_deftype_for_function_def268,9246
let rec unify_patternunify_pattern287,9996
let refine_perms_in_place_for_patternrefine_perms_in_place_for_pattern358,12523
let rec check_expressioncheck_expression475,17159
and check_bindingscheck_bindings1148,44087
let check_declaration_groupcheck_declaration_group1186,45317

typing/TypeChecker.mli,129
TypeChecker1,0
val check_declaration_groupcheck_declaration_group30,1942
val check_function_callcheck_function_call36,2127

typing/TypeCore.ml,9957
TypeCore1,0
type db_indexdb_index29,1723
type pointpoint32,1746
type flex_indexflex_index35,1788
type namename39,1862
type name = UserUser39,1862
type name = User of Module.name * Variable.name | AutoAuto39,1862
type locationlocation41,1935
type quantifierquantifier43,1986
  | ForallForall44,2004
  | ExistsExists45,2015
type type_bindingtype_binding47,2027
type flavorflavor50,2073
type flavor = SurfaceSyntax.binding_flavor = UserIntroducedUserIntroduced50,2073
type flavor = SurfaceSyntax.binding_flavor = UserIntroduced | AutoIntroducedAutoIntroduced50,2073
module DataconMapDataconMap52,2151
module FieldField59,2303
type variancevariance61,2328
type variance = SurfaceSyntax.variance = InvariantInvariant61,2328
type variance = SurfaceSyntax.variance = Invariant | CovariantCovariant61,2328
type variance = SurfaceSyntax.variance = Invariant | Covariant | ContravariantContravariant61,2328
type variance = SurfaceSyntax.variance = Invariant | Covariant | Contravariant | BivariantBivariant61,2328
type typtyp63,2420
  | TyUnknownTyUnknown65,2465
  | TyDynamicTyDynamic66,2479
  | TyBoundTyBound70,2601
  | TyOpenTyOpen71,2625
  | TyQTyQ74,2691
  | TyAppTyApp75,2743
  | TyTupleTyTuple78,2800
  | TyConcreteTyConcrete79,2824
  | TySingletonTySingleton82,2877
  | TyArrowTyArrow85,2927
  | TyBarTyBar88,2971
  | TyAnchoredPermissionTyAnchoredPermission91,3018
  | TyEmptyTyEmpty92,3056
  | TyStarTyStar93,3068
  | TyAndTyAnd96,3114
and varvar98,3150
  | VRigidVRigid99,3160
  | VFlexibleVFlexible100,3180
and mode_constraintmode_constraint102,3209
and branchbranch104,3248
  branch_flavorbranch_flavor105,3263
  branch_dataconbranch_datacon115,3856
  branch_fieldsbranch_fields116,3892
  branch_adoptsbranch_adopts119,4048
and resolved_dataconresolved_datacon122,4073
and data_field_defdata_field_def125,4117
type type_deftype_def127,4156
  | ConcreteConcrete128,4172
  | AbstractAbstract131,4341
  | AbbrevAbbrev132,4354
type data_typedata_type134,4373
  data_namedata_name135,4392
  data_locationdata_location136,4420
  data_definitiondata_definition137,4447
  data_variancedata_variance138,4476
  data_factdata_fact139,4508
  data_kinddata_kind140,4532
type data_type_groupdata_type_group143,4554
  group_recursivegroup_recursive144,4579
  group_itemsgroup_items145,4622
type binding_typebinding_type152,4773
type binding_type = RigidRigid152,4773
type binding_type = Rigid | FlexibleFlexible152,4773
type permissionspermissions154,4811
type levellevel156,4840
module IntMapIntMap158,4858
type envenv164,5001
  statestate166,5094
  markmark169,5209
  locationlocation172,5256
  inconsistentinconsistent178,5562
  floating_permissionsfloating_permissions184,5850
  last_bindinglast_binding188,5979
  current_levelcurrent_level191,6059
  flexibleflexible194,6123
  kenvkenv204,6739
and flex_descrflex_descr210,6864
  structurestructure216,7251
  original_leveloriginal_level217,7275
and structurestructure220,7303
and structure = NotInstantiatedNotInstantiated220,7303
and structure = NotInstantiated of var_descr | InstantiatedInstantiated220,7303
and bindingbinding222,7371
and var_descrvar_descr225,7486
  namesnames227,7565
  locationslocations228,7585
  kindkind232,7716
  binding_markbinding_mark236,7856
  factfact242,8174
  levellevel245,8227
and extra_descrextra_descr248,8246
and extra_descr = DTypeDType248,8246
and extra_descr = DType of type_descr | DTermDTerm248,8246
and extra_descr = DType of type_descr | DTerm of term_descr | DNoneDNone248,8246
and type_descrtype_descr250,8315
  definitiondefinition253,8440
  variancevariance254,8464
and term_descrterm_descr257,8494
  permissionspermissions259,8574
let internal_ptypeinternal_ptype265,8719
let internal_pnamesinternal_pnames266,8809
let internal_ppermissionsinternal_ppermissions267,8906
let internal_pfactinternal_pfact268,8995
let empty_envempty_env271,9113
let locatelocate283,9425
let locationlocation287,9479
let is_inconsistentis_inconsistent289,9522
let mark_inconsistentmark_inconsistent291,9580
let module_namemodule_name293,9644
let modify_kenvmodify_kenv295,9706
let kenvkenv301,9790
let enter_moduleenter_module303,9821
let findfind307,9926
let rec touch_branchtouch_branch318,10191
let find_branchfind_branch357,11966
let find_flexfind_flex371,12497
let validvalid375,12585
exception UnboundPointUnboundPoint387,12856
let find_flex_or_failfind_flex_or_fail390,12925
let replace_flexreplace_flex397,13113
let rec modulo_flexmodulo_flex403,13371
let modulo_flex_vmodulo_flex_v416,13652
let is_flexibleis_flexible420,13788
let is_rigidis_rigid428,13929
let assert_varassert_var435,14111
let assert_pointassert_point444,14293
let update_extra_descrupdate_extra_descr453,14490
let get_var_descrget_var_descr462,14758
let update_var_descrupdate_var_descr476,15129
let initial_permissions_for_pointinitial_permissions_for_point496,15692
let get_permissionsget_permissions500,15791
let set_permissionsset_permissions509,15999
let reset_permissionsreset_permissions518,16208
let get_factget_fact528,16471
let get_locationsget_locations532,16569
let add_locationadd_location536,16666
let get_namesget_names542,16843
let get_nameget_name546,16928
let get_definitionget_definition554,17094
let get_varianceget_variance567,17350
let update_varianceupdate_variance577,17544
let update_definitionupdate_definition586,17857
let set_definitionset_definition595,18168
let get_kindget_kind604,18462
let set_factset_fact608,18540
let get_floating_permissionsget_floating_permissions613,18684
let set_floating_permissionsset_floating_permissions617,18770
class virtual ['env, 'result] visitorvisitor625,19001
  method normalizenormalize631,19294
  method extendextend637,19487
  method visitvisit642,19668
  method virtual tyunknowntyunknown676,20663
  method virtual tydynamictydynamic677,20707
  method virtual tyboundtybound678,20751
  method virtual tyopentyopen679,20805
  method virtual tyqtyq680,20853
  method virtual tyapptyapp681,20938
  method virtual tytupletytuple682,20997
  method virtual tyconcretetyconcrete683,21051
  method virtual tysingletontysingleton684,21106
  method virtual tyarrowtyarrow685,21159
  method virtual tybartybar686,21215
  method virtual tyanchoredpermissiontyanchoredpermission687,21269
  method virtual tyemptytyempty688,21338
  method virtual tystartystar689,21380
  method virtual tyandtyand690,21435
class ['env] mapmap698,21637
  method tyunknowntyunknown705,21802
  method tydynamictydynamic708,21843
  method tyboundtybound711,21884
  method tyopentyopen714,21925
  method tyqtyq717,21964
  method tyapptyapp721,22107
  method tytupletytuple724,22197
  method tyconcretetyconcrete727,22263
  method tysingletontysingleton730,22337
  method tyarrowtyarrow733,22402
  method tybartybar736,22487
  method tyanchoredpermissiontyanchoredpermission739,22568
  method tyemptytyempty742,22679
  method tystartystar745,22716
  method tyandtyand748,22799
  method private visit_manyvisit_many752,22946
  method branchbranch756,23074
  method resolved_dataconresolved_datacon765,23447
  method fieldfield769,23569
  method private mode_constraintmode_constraint773,23696
  method data_type_groupdata_type_group777,23841
class ['env] iteriter806,24959
  method tyunknowntyunknown812,25101
  method tydynamictydynamic815,25135
  method tyboundtybound818,25169
  method tyopentyopen821,25204
  method tyqtyq824,25238
  method tyapptyapp828,25357
  method tytupletytuple832,25443
  method tyconcretetyconcrete835,25499
  method tysingletontysingleton838,25560
  method tyarrowtyarrow841,25611
  method tybartybar845,25690
  method tyanchoredpermissiontyanchoredpermission849,25767
  method tyemptytyempty853,25859
  method tystartystar856,25891
  method tyandtyand860,25969
  method private visit_manyvisit_many865,26108
  method branchbranch869,26233
  method resolved_dataconresolved_datacon875,26490
  method fieldfield879,26605
  method private mode_constraintmode_constraint883,26717
  method data_type_groupdata_type_group887,26847
let levellevel910,27659
let cleanclean921,27942
let instantiate_flexible_rawinstantiate_flexible_raw946,28801
module VarMapVarMap990,30099
module IVarMapIVarMap1000,30345
  type keykey1001,30369
  type 'data tt1002,30386
  let createcreate1003,30422
  let clearclear1004,30457
  let addadd1005,30491
  let findfind1006,30534
  let iteriter1007,30568
let samesame1011,30668
let merge_left_p2pmerge_left_p2p1022,30954
let merge_leftmerge_left1045,31826
let internal_pflexinternal_pflex1082,32982
let internal_pflexlistinternal_pflexlist1092,33333
let import_flex_instanciations_rawimport_flex_instanciations_raw1100,33522
let rec resolved_datacons_equalresolved_datacons_equal1158,35844
and equalequal1164,36075
let mkdescrmkdescr1236,38184
let top_facttop_fact1248,38398
let mkfactmkfact1251,38446
let bind_rigidbind_rigid1259,38529
let fresh_atomfresh_atom1288,39376
let bind_flexible_rawbind_flexible_raw1295,39452
let bind_flexiblebind_flexible1320,40198
let bind_flexible_beforebind_flexible_before1324,40284
let _internal_fold_internal_fold1340,40818
let foldfold1344,40896
let fold_termsfold_terms1351,41016
let fold_definitionsfold_definitions1357,41225
let mapmap1363,41438
let is_markedis_marked1371,41613
let markmark1376,41750
let refresh_markrefresh_mark1380,41873
let internal_uniqvaridinternal_uniqvarid1386,42033
let internal_checklevelinternal_checklevel1394,42212
let internal_wasflexibleinternal_wasflexible1404,42473
let ty_bottomty_bottom1413,42670
let is_non_bottomis_non_bottom1421,42828

typing/TypeCore.mli,7040
TypeCore1,0
module FieldField31,1661
type namename36,1835
type name = UserUser36,1835
type name = User of Module.name * Variable.name | AutoAuto36,1835
type locationlocation39,1952
type quantifierquantifier42,2052
  | ForallForall43,2070
  | ExistsExists44,2081
type type_bindingtype_binding47,2156
type flavorflavor52,2362
  | UserIntroducedUserIntroduced53,2407
  | AutoIntroducedAutoIntroduced54,2426
type db_indexdb_index59,2629
type varvar65,2868
type data_field_defdata_field_def70,2938
and typtyp73,3004
  | TyUnknownTyUnknown75,3049
  | TyDynamicTyDynamic76,3063
  | TyBoundTyBound80,3186
  | TyOpenTyOpen81,3210
  | TyQTyQ84,3277
  | TyAppTyApp85,3329
  | TyTupleTyTuple88,3387
  | TyConcreteTyConcrete89,3411
  | TySingletonTySingleton92,3465
  | TyArrowTyArrow95,3516
  | TyBarTyBar98,3561
  | TyAnchoredPermissionTyAnchoredPermission101,3609
  | TyEmptyTyEmpty102,3647
  | TyStarTyStar103,3659
  | TyAndTyAnd106,3706
and mode_constraintmode_constraint109,3743
and branchbranch111,3782
  branch_flavorbranch_flavor112,3797
  branch_dataconbranch_datacon122,4390
  branch_fieldsbranch_fields123,4426
  branch_adoptsbranch_adopts126,4582
and resolved_dataconresolved_datacon129,4607
type variancevariance135,4737
type variance = SurfaceSyntax.variance = InvariantInvariant135,4737
type variance = SurfaceSyntax.variance = Invariant | CovariantCovariant135,4737
type variance = SurfaceSyntax.variance = Invariant | Covariant | ContravariantContravariant135,4737
type variance = SurfaceSyntax.variance = Invariant | Covariant | Contravariant | BivariantBivariant135,4737
type type_deftype_def137,4829
  | ConcreteConcrete138,4845
  | AbstractAbstract139,4870
  | AbbrevAbbrev140,4883
type data_typedata_type142,4902
  data_namedata_name143,4921
  data_locationdata_location144,4949
  data_definitiondata_definition145,4976
  data_variancedata_variance146,5005
  data_factdata_fact147,5037
  data_kinddata_kind148,5061
type data_type_groupdata_type_group151,5083
  group_recursivegroup_recursive152,5108
  group_itemsgroup_items153,5151
module DataconMapDataconMap161,5303
module VarMapVarMap167,5679
module IVarMapIVarMap170,5804
type envenv180,6046
val empty_envempty_env183,6086
val locatelocate186,6154
val locationlocation189,6243
val module_namemodule_name192,6310
val enter_moduleenter_module195,6411
val is_inconsistentis_inconsistent198,6504
val mark_inconsistentmark_inconsistent201,6589
val modify_kenvmodify_kenv205,6753
val kenvkenv207,6854
val is_flexibleis_flexible218,7179
val is_rigidis_rigid219,7215
val modulo_flexmodulo_flex227,7689
val import_flex_instanciations_rawimport_flex_instanciations_raw236,8040
val instantiate_flexible_rawinstantiate_flexible_raw243,8449
val samesame247,8632
val merge_leftmerge_left253,8928
val get_floating_permissionsget_floating_permissions256,9051
val set_floating_permissionsset_floating_permissions259,9172
val get_namesget_names267,9393
val get_nameget_name271,9534
val get_kindget_kind274,9612
val get_factget_fact277,9665
val get_locationsget_locations280,9729
val get_definitionget_definition283,9812
val get_varianceget_variance286,9947
val add_locationadd_location290,10050
val get_permissionsget_permissions300,10441
val set_permissionsset_permissions303,10534
val reset_permissionsreset_permissions306,10636
val set_factset_fact314,10825
val set_definitionset_definition317,10946
val update_definitionupdate_definition320,11098
val update_varianceupdate_variance323,11190
exception UnboundPointUnboundPoint330,11389
val cleanclean334,11557
val equalequal339,11785
val resolved_datacons_equalresolved_datacons_equal342,11879
val find_branchfind_branch356,12499
val touch_branchtouch_branch360,12641
val bind_rigidbind_rigid368,12833
val bind_flexiblebind_flexible371,12921
val bind_flexible_beforebind_flexible_before374,13032
val fold_definitionsfold_definitions390,13626
val fold_termsfold_terms394,13795
val foldfold397,13900
val mapmap400,13986
val is_markedis_marked407,14129
val markmark408,14163
val refresh_markrefresh_mark409,14191
class virtual ['env, 'result] visitorvisitor415,14302
  method normalizenormalize421,14589
  method extendextend426,14772
  method visitvisit430,14935
  method virtual tyunknowntyunknown433,15033
  method virtual tydynamictydynamic434,15077
  method virtual tyboundtybound435,15121
  method virtual tyopentyopen436,15175
  method virtual tyqtyq437,15223
  method virtual tyapptyapp438,15308
  method virtual tytupletytuple439,15367
  method virtual tyconcretetyconcrete440,15421
  method virtual tysingletontysingleton441,15476
  method virtual tyarrowtyarrow442,15529
  method virtual tybartybar443,15585
  method virtual tyanchoredpermissiontyanchoredpermission444,15639
  method virtual tyemptytyempty445,15708
  method virtual tystartystar446,15750
  method virtual tyandtyand447,15805
class ['env] mapmap453,15924
  method tyunknowntyunknown458,16043
  method tydynamictydynamic459,16075
  method tyboundtybound460,16107
  method tyopentyopen461,16149
  method tyqtyq462,16185
  method tyapptyapp463,16258
  method tytupletytuple464,16305
  method tyconcretetyconcrete465,16347
  method tysingletontysingleton466,16390
  method tyarrowtyarrow467,16431
  method tybartybar468,16475
  method tyanchoredpermissiontyanchoredpermission469,16517
  method tyemptytyempty470,16574
  method tystartystar471,16604
  method tyandtyand472,16647
  method branchbranch475,16758
  method resolved_dataconresolved_datacon477,16875
  method fieldfield479,17002
  method data_type_groupdata_type_group481,17124
class ['env] iteriter487,17248
  method tyunknowntyunknown492,17369
  method tydynamictydynamic493,17402
  method tyboundtybound494,17435
  method tyopentyopen495,17478
  method tyqtyq496,17515
  method tyapptyapp497,17589
  method tytupletytuple498,17637
  method tyconcretetyconcrete499,17680
  method tysingletontysingleton500,17724
  method tyarrowtyarrow501,17766
  method tybartybar502,17811
  method tyanchoredpermissiontyanchoredpermission503,17854
  method tyemptytyempty504,17912
  method tystartystar505,17943
  method tyandtyand506,17987
  method branchbranch509,18095
  method resolved_dataconresolved_datacon511,18206
  method fieldfield513,18317
  method data_type_groupdata_type_group515,18425
val ty_bottomty_bottom525,18614
val is_non_bottomis_non_bottom526,18634
val internal_ptypeinternal_ptype533,18889
val internal_pnamesinternal_pnames534,18946
val internal_ppermissionsinternal_ppermissions535,19010
val internal_pfactinternal_pfact536,19068
val internal_pflexlistinternal_pflexlist537,19125
val internal_uniqvaridinternal_uniqvarid538,19175
val internal_checklevelinternal_checklevel539,19217
val internal_wasflexibleinternal_wasflexible540,19261

typing/TypeErrors.ml,2281
TypeErrors1,0
type errorerror30,1583
and raw_errorraw_error32,1613
  | OverrideAutoloadOverrideAutoload33,1629
  | CyclicDependencyCyclicDependency34,1660
  | NotAFunctionNotAFunction35,1696
  | ExpectedTypeExpectedType36,1720
  | ExpectedPermissionExpectedPermission37,1775
  | RecursiveOnlyForFunctionsRecursiveOnlyForFunctions38,1830
  | MissingFieldMissingField39,1860
  | ExtraFieldExtraField40,1891
  | NoSuchFieldNoSuchField41,1920
  | CantAssignTagCantAssignTag42,1956
  | NoSuchFieldInPatternNoSuchFieldInPattern43,1981
  | BadPatternBadPattern44,2030
  | BadFieldBadField45,2062
  | NoTwoConstructorsNoTwoConstructors46,2104
  | MatchBadDataconMatchBadDatacon47,2133
  | MatchBadTupleMatchBadTuple48,2175
  | AssignNotExclusiveAssignNotExclusive49,2200
  | FieldCountMismatchFieldCountMismatch50,2245
  | NoMultipleArgumentsNoMultipleArguments51,2290
  | ResourceAllocationConflictResourceAllocationConflict52,2314
  | UncertainMergeUncertainMerge53,2352
  | ConflictingTypeAnnotationsConflictingTypeAnnotations54,2378
  | IllKindedTypeApplicationIllKindedTypeApplication55,2422
  | BadTypeApplicationBadTypeApplication56,2473
  | NonExclusiveAdopteeNonExclusiveAdoptee57,2503
  | NoAdoptsClauseNoAdoptsClause58,2534
  | NotDynamicNotDynamic59,2560
  | NoSuitableTypeForAdoptsNoSuitableTypeForAdopts60,2582
  | AdoptsNoAnnotationAdoptsNoAnnotation61,2623
  | NotMergingClausesNotMergingClauses62,2646
  | NoSuchTypeInSignatureNoSuchTypeInSignature63,2705
  | DataTypeMismatchInSignatureDataTypeMismatchInSignature64,2769
  | VarianceAnnotationMismatchVarianceAnnotationMismatch65,2827
  | ExportNotDuplicableExportNotDuplicable66,2858
  | LocalTypeLocalType67,2899
  | InstantiatedInstantiated68,2913
  | PackWithExistsPackWithExists69,2953
  | SeveralWorkingFunctionTypesSeveralWorkingFunctionTypes70,2972
exception TypeCheckerErrorTypeCheckerError72,3012
let raise_errorraise_error74,3049
let print_errorprint_error84,3254
let html_errorhtml_error303,11482
let internal_extracterrorinternal_extracterror312,11735
let flagsflags314,11770
let errno_of_errorerrno_of_error324,12171
let may_raise_errormay_raise_error341,12433
let parse_warn_errorparse_warn_error352,12677

typing/TypeErrors.mli,2204
TypeErrors1,0
type raw_errorraw_error26,1603
  | OverrideAutoloadOverrideAutoload27,1620
  | CyclicDependencyCyclicDependency28,1651
  | NotAFunctionNotAFunction29,1687
  | ExpectedTypeExpectedType30,1711
  | ExpectedPermissionExpectedPermission31,1766
  | RecursiveOnlyForFunctionsRecursiveOnlyForFunctions32,1821
  | MissingFieldMissingField33,1851
  | ExtraFieldExtraField34,1882
  | NoSuchFieldNoSuchField35,1911
  | CantAssignTagCantAssignTag36,1947
  | NoSuchFieldInPatternNoSuchFieldInPattern37,1972
  | BadPatternBadPattern38,2037
  | BadFieldBadField39,2085
  | NoTwoConstructorsNoTwoConstructors40,2127
  | MatchBadDataconMatchBadDatacon41,2156
  | MatchBadTupleMatchBadTuple42,2198
  | AssignNotExclusiveAssignNotExclusive43,2223
  | FieldCountMismatchFieldCountMismatch44,2268
  | NoMultipleArgumentsNoMultipleArguments45,2313
  | ResourceAllocationConflictResourceAllocationConflict46,2337
  | UncertainMergeUncertainMerge47,2375
  | ConflictingTypeAnnotationsConflictingTypeAnnotations48,2401
  | IllKindedTypeApplicationIllKindedTypeApplication49,2445
  | BadTypeApplicationBadTypeApplication50,2512
  | NonExclusiveAdopteeNonExclusiveAdoptee51,2542
  | NoAdoptsClauseNoAdoptsClause52,2573
  | NotDynamicNotDynamic53,2599
  | NoSuitableTypeForAdoptsNoSuitableTypeForAdopts54,2621
  | AdoptsNoAnnotationAdoptsNoAnnotation55,2662
  | NotMergingClausesNotMergingClauses56,2685
  | NoSuchTypeInSignatureNoSuchTypeInSignature57,2744
  | DataTypeMismatchInSignatureDataTypeMismatchInSignature58,2808
  | VarianceAnnotationMismatchVarianceAnnotationMismatch59,2866
  | ExportNotDuplicableExportNotDuplicable60,2897
  | LocalTypeLocalType61,2938
  | InstantiatedInstantiated62,2952
  | PackWithExistsPackWithExists63,2992
  | SeveralWorkingFunctionTypesSeveralWorkingFunctionTypes64,3011
val parse_warn_errorparse_warn_error68,3166
val raise_errorraise_error72,3292
val may_raise_errormay_raise_error77,3538
type errorerror80,3620
exception TypeCheckerErrorTypeCheckerError83,3685
val print_errorprint_error87,3810
val html_errorhtml_error90,3897
val internal_extracterrorinternal_extracterror94,3937

typing/Types.ml,3399
Types1,0
let ( |>|>32,1813
let ( !*!*33,1839
let ( >>=>>=34,1872
let ( ||||||35,1906
let ( ^=>^=>36,1966
let ( !!!!38,2005
let ( !!=!!=43,2129
let fst3fst350,2282
let snd3snd351,2307
let thd3thd352,2332
let is_useris_user54,2358
let ty_equalsty_equals56,2417
let ty_unitty_unit60,2464
let ty_tuplety_tuple64,2495
let (@->@->69,2612
let ty_barty_bar73,2649
let ty_appty_app80,2722
let ty_openty_open87,2810
let fold_starfold_star91,2841
let strip_quantifiers_and_bindstrip_quantifiers_and_bind98,2973
let fold_quantifierfold_quantifier109,3264
let fold_forallfold_forall115,3396
let fold_existsfold_exists118,3440
let fresh_auto_namefresh_auto_name121,3484
let get_locationget_location209,5820
let get_adopts_clauseget_adopts_clause215,5978
let is_tyopenis_tyopen244,7051
let get_branchesget_branches249,7116
let get_arityget_arity257,7305
let rec get_kind_for_typeget_kind_for_type261,7384
let branches_for_dataconbranches_for_datacon295,8003
let branches_for_branchbranches_for_branch299,8070
let branch_for_dataconbranch_for_datacon303,8182
let fields_for_dataconfields_for_datacon311,8406
let flavor_for_dataconflavor_for_datacon317,8577
let variancevariance323,8717
let instantiate_typeinstantiate_type332,8915
let find_and_instantiate_branchfind_and_instantiate_branch337,9038
let is_tyappis_tyapp346,9255
let is_abbrevis_abbrev359,9471
let assert_concreteassert_concrete366,9580
let is_concreteis_concrete369,9660
let is_termis_term372,9732
let is_permis_perm373,9780
let is_typeis_type374,9827
class collectcollect390,10622
  methodvisit394,10830
  methodbranch434,11777
let collectcollect445,12065
class markmark450,12193
  methodnormalize452,12258
  methodtyopen456,12432
  methodtyarrow465,12717
let mark_reachablemark_reachable469,12762
let make_datacon_lettersmake_datacon_letters477,12960
let bind_datacon_parametersbind_datacon_parameters495,13570
let rec expand_if_one_branchexpand_if_one_branch507,13995
let is_staris_star524,14416
let rec flatten_starflatten_star534,14574
module TypePrinterTypePrinter556,15117
  let string_of_namestring_of_name562,15248
  let print_nameprint_name566,15373
  let pnamepname573,15591
  let print_dataconprint_datacon577,15661
  let print_field_nameprint_field_name581,15736
  let print_fieldprint_field585,15808
  let p_kindp_kind590,15965
  let print_namesprint_names594,16027
  let print_uservarprint_uservar604,16360
  let pnamespnames613,16659
  let smallintsmallint617,16735
  let print_varprint_var638,17157
  let pvarpvar646,17336
  let puvarpuvar650,17423
  let print_bindingprint_binding656,17546
  let rec print_quantifiedprint_quantified663,17708
  and print_openprint_open672,17974
  and print_typeprint_type686,18460
  and print_constraintprint_constraint758,20283
  and print_data_field_defprint_data_field_def761,20381
  and print_branchprint_branch764,20493
  let pfactpfact785,21071
  let print_factsprint_facts791,21170
  let print_permission_listprint_permission_list815,21994
  let ppermission_listppermission_list823,22240
  let print_permissionsprint_permissions828,22396
  let ppermissionsppermissions866,23689
  let ptypeptype872,23821
  let penvpenv876,23904
  let pconstraintpconstraint882,24005
  let print_bindersprint_binders886,24098

typing/Types.mli,2958
Types1,0
val fst3fst332,1750
val snd3snd333,1780
val thd3thd334,1810
val ( !!!!39,1917
val ( !!=!!=42,2014
val ( !*!*45,2070
val ( >>=>>=48,2136
val ( ||||||51,2241
val ( ^=>^=>54,2365
val ( |>|>57,2427
val expand_if_one_branchexpand_if_one_branch71,2989
val collectcollect76,3226
val branches_for_branchbranches_for_branch88,3674
val branches_for_dataconbranches_for_datacon91,3808
val branch_for_dataconbranch_for_datacon94,3936
val fields_for_dataconfields_for_datacon97,4047
val flavor_for_dataconflavor_for_datacon100,4166
val ty_unitty_unit114,4531
val ty_tuplety_tuple117,4566
val ( @->@->120,4657
val ty_barty_bar123,4774
val ty_appty_app126,4886
val ty_equalsty_equals129,4969
val ty_openty_open132,5021
val is_tyappis_tyapp140,5172
val is_staris_star144,5327
val is_concreteis_concrete147,5393
val assert_concreteassert_concrete150,5490
val is_tyopenis_tyopen153,5560
val is_abbrevis_abbrev156,5673
val is_termis_term159,5746
val is_permis_perm162,5818
val is_typeis_type165,5890
val is_useris_user168,5959
val flatten_starflatten_star177,6302
val fold_starfold_star181,6442
val fold_forallfold_forall184,6532
val fold_existsfold_exists187,6653
val mark_reachablemark_reachable196,6923
val bind_datacon_parametersbind_datacon_parameters208,7314
val instantiate_typeinstantiate_type214,7540
val find_and_instantiate_branchfind_and_instantiate_branch217,7659
val get_locationget_location226,7877
val get_adopts_clauseget_adopts_clause227,7919
val get_arityget_arity228,7961
val get_kind_for_typeget_kind_for_type229,7995
val variancevariance232,8101
val fresh_auto_namefresh_auto_name234,8147
val make_datacon_lettersmake_datacon_letters235,8184
module TypePrinterTypePrinter242,8302
    val string_of_namestring_of_name247,8476
    val print_nameprint_name250,8605
    val pnamepname251,8659
    val print_uservarprint_uservar255,8858
    val puvarpuvar256,8914
    val print_varprint_var259,9025
    val pvarpvar260,9077
    val print_namesprint_names263,9149
    val pnamespnames264,9209
    val print_permission_listprint_permission_list267,9302
    val ppermission_listppermission_list268,9370
    val print_permissionsprint_permissions271,9487
    val ppermissionsppermissions272,9540
    val print_dataconprint_datacon274,9588
    val print_field_nameprint_field_name275,9646
    val print_fieldprint_field276,9705
    val p_kindp_kind277,9768
    val print_quantifiedprint_quantified278,9810
    val print_typeprint_type282,9913
    val print_constraintprint_constraint283,9966
    val print_data_field_defprint_data_field_def286,10049
    val print_branchprint_branch288,10129
    val pfactpfact292,10214
    val print_factsprint_facts293,10260
    val ptypeptype294,10307
    val penvpenv295,10353
    val pconstraintpconstraint296,10392
    val print_bindersprint_binders298,10462

typing/Variance.ml,368
Variance1,0
type tt31,1708
let lublub44,1920
let leqleq59,2125
let (~~~~62,2206
let dotdot76,2714
let variancevariance94,3208
module PP159,4769
  type propertyproperty160,4787
  let bottombottom161,4807
  let equalequal162,4832
  let is_maximalis_maximal163,4850
module SolverSolver166,4888
let analyze_data_typesanalyze_data_types168,4926

typing/Variance.mli,84
Variance1,0
val leqleq30,1782
val analyze_data_typesanalyze_data_types34,1947

typing/ResugarFold.ml,250
ResugarFold1,0
let depth_exceededdepth_exceeded9,207
let defaultdefault11,245
let rec fold_varfold_var16,475
and fold_typefold_type51,1536
and fold_branchfold_branch113,2910
let fold_typefold_type128,3329
let fold_varfold_var132,3381

typing/ResugarFold.mli,73
ResugarFold1,0
val fold_typefold_type4,57
val fold_varfold_var5,91

utils/Debug.ml,949
Debug1,0
type cenvcenv27,1574
let enabledenabled29,1610
let enable_traceenable_trace30,1633
let is_osxis_osx31,1669
let uniqueunique38,1804
module GraphGraph56,2128
  let id_of_pointid_of_point58,2151
  let draw_pointdraw_point62,2221
  let write_introwrite_intro180,6062
  let write_outrowrite_outro187,6246
  let write_simple_graphwrite_simple_graph191,6304
  let mark_interestingmark_interesting206,6865
  let write_graphwrite_graph232,7654
  let graphgraph252,8274
module HtmlHtml262,8463
  let pygmentizepygmentize264,8485
  let json_of_locjson_of_loc269,8653
  let json_of_pointsjson_of_points279,8920
  let render_svgrender_svg302,9826
  let get_json_filenameget_json_filename313,10149
  let render_baserender_base320,10414
  let renderrender339,10946
  let render_mergerender_merge354,11281
  let launchlaunch378,11973
let explainexplain398,12578
let explain_mergeexplain_merge425,13522

utils/TestUtils.ml,488
TestUtils1,0
type outcomeoutcome25,1544
  | KFailKFail27,1595
  | FailFail29,1641
  | PassPass30,1684
let print_envprint_env34,1763
let tupletuple39,1888
let pointpoint43,1918
let points_topoints_to47,1947
let permissionpermission51,1993
let useruser55,2051
let forallforall59,2166
let existsexists68,2258
let varvar77,2350
let barbar81,2378
let emptyempty85,2411
let dcdc89,2437
let (@->@->94,2618
let unitunit98,2655
let concreteconcrete102,2681

utils/Utils.ml,463
Utils1,0
let try_finallytry_finally24,1543
let with_open_inwith_open_in37,1741
let with_open_outwith_open_out45,1871
let dont_inlinedont_inline60,2425
let fresh_namefresh_name62,2450
let fresh_varfresh_var70,2594
let readread72,2658
let file_get_contentsfile_get_contents87,2964
let ptagptag91,3016
let absolute_pathabsolute_path99,3229
let same_absolute_pathsame_absolute_path110,3395
let get_number_of_coresget_number_of_cores120,3648

utils/Utils.mli,421
Utils1,0
val try_finallytry_finally20,1442
val with_open_inwith_open_in21,1497
val with_open_outwith_open_out22,1551
val dont_inlinedont_inline24,1608
val fresh_namefresh_name25,1634
val fresh_varfresh_var26,1667
val readread27,1706
val ptagptag28,1737
val same_absolute_pathsame_absolute_path30,1771
val file_get_contentsfile_get_contents32,1821
val get_number_of_coresget_number_of_cores34,1862

interpreter/Interpreter.ml,2583
Interpreter1,0
module VV48,2746
module DD51,2794
type envenv58,2983
    variablesvariables60,3063
    dataconsdatacons62,3182
and valuevalue69,3350
  | VIntVInt71,3399
  | VAddressVAddress73,3456
  | VTupleVTuple75,3497
  | VClosureVClosure77,3543
  | VBuiltinVBuiltin79,3598
and blockblock83,3680
  mutable tagtag88,3924
  mutable adopteradopter90,4038
  fieldsfields92,4096
and closureclosure97,4189
  argarg99,4256
  bodybody101,4316
  mutable envenv105,4477
let array_datacon_infoarray_datacon_info114,4760
let is_arrayis_array122,4948
let makeArraymakeArray128,5117
module ValuePrinterValuePrinter140,5445
  let rec print_valueprint_value149,5726
  let print_valueprint_value196,7213
  let renderrender199,7256
let emptyempty208,7440
let resolve_datacon_referenceresolve_datacon_reference218,7816
let extend_unqualified_variableextend_unqualified_variable227,8114
let extend_unqualified_dataconextend_unqualified_datacon232,8297
let freezefreeze237,8435
let unqualifyunqualify245,8570
let zapzap253,8731
module EnvPrinterEnvPrinter261,8860
  let print_datacon_infoprint_datacon_info265,8903
  let print_envprint_env268,9013
  let pp274,9255
let unit_valueunit_value289,9586
let boolbool298,10007
let boolean_valueboolean_value301,10044
let false_valuefalse_value315,10614
let true_valuetrue_value318,10676
let boolbool321,10736
let asIntasInt328,10929
let asBlockasBlock336,11056
let asTupleasTuple344,11199
let asPairasPair352,11339
let asTripleasTriple360,11504
let asQuintupleasQuintuple368,11691
let asArrayasArray376,11921
let asValueasValue380,11996
let asIntPairasIntPair383,12035
let eval_builtineval_builtin390,12214
let find_fieldfind_field477,14933
let field_offsetfield_offset486,15179
exception MatchFailureMatchFailure504,16057
let rec match_patternmatch_pattern506,16081
let match_irrefutable_patternmatch_irrefutable_pattern542,17229
let match_refutable_patternmatch_refutable_pattern549,17433
let rec evaleval559,17703
and switchswitch741,23127
and eval_definitionseval_definitions762,23958
and eval_recursive_equationeval_recursive_equation791,25249
let evaluate_data_type_defevaluate_data_type_def819,26289
let eval_implementation_itemeval_implementation_item852,27550
let eval_implementationeval_implementation880,28573
let export_interface_itemexport_interface_item897,29441
let export_interfaceexport_interface926,30647
let eval_uniteval_unit943,31416
let eval_lone_implementationeval_lone_implementation955,31922

interpreter/Interpreter.mli,152
Interpreter1,0
type envenv10,359
val emptyempty14,398
val eval_uniteval_unit18,498
val eval_lone_implementationeval_lone_implementation23,688

compiler/Compile.ml,119
Compile1,0
let ($$3,68
let translate_file_nametranslate_file_name11,312
let implementationimplementation17,481

compiler/Compile.mli,52
Compile1,0
val implementationimplementation3,68

compiler/Mezzo2UntypedMezzo.ml,1050
Mezzo2UntypedMezzo1,0
module UU2,19
let adopter_fieldadopter_field14,433
let init_adopter_fieldinit_adopter_field17,489
let rec is_unitis_unit25,739
let abandonabandon39,1032
let ff58,1449
let f, tt58,1449
let freshfresh69,1774
let is_normalis_normal80,2132
type continuationcontinuation100,2729
let namename103,2783
let rec reset_translreset_transl121,3474
and evaleval128,3781
and transltransl135,4004
and reset_transl_equationsreset_transl_equations249,7613
and eval_fieldeval_field255,7778
let transl_data_type_def_lhstransl_data_type_def_lhs274,8549
let transl_data_field_deftransl_data_field_def277,8610
let transl_data_type_def_branchtransl_data_type_def_branch281,8676
let transl_data_type_branchestransl_data_type_branches286,8886
let transl_data_type_deftransl_data_type_def289,8976
let transl_data_type_grouptransl_data_type_group299,9232
let transl_itemtransl_item306,9463
let translate_implementationtranslate_implementation323,9989
let translate_interfacetranslate_interface330,10193

compiler/Mezzo2UntypedMezzo.mli,170
Mezzo2UntypedMezzo1,0
val adopter_fieldadopter_field3,58
val translate_implementationtranslate_implementation4,91
val translate_interfacetranslate_interface5,181

compiler/OCamlKeywords.ml,101
OCamlKeywords1,0
let create_hashtablecreate_hashtable3,53
let keyword_tablekeyword_table10,205

compiler/OCamlKeywords.mli,55
OCamlKeywords1,0
val keyword_tablekeyword_table1,0

compiler/UntypedMezzo.ml,1223
UntypedMezzo1,0
type patternpattern47,2513
module FieldField54,2659
type rec_flagrec_flag57,2686
type variablevariable60,2730
type datacon_referencedatacon_reference63,2795
type tag_update_infotag_update_info66,2857
type fieldfield69,2915
type for_flagfor_flag72,2953
type expressionexpression75,2997
  | EVarEVar76,3015
  | EBuiltinEBuiltin77,3036
  | ELetELet78,3059
  | EFunEFun79,3123
  | EAssignEAssign80,3156
  | EAssignTagEAssignTag82,3269
  | EAccessEAccess83,3336
  | EApplyEApply84,3370
  | EMatchEMatch85,3408
  | ETupleETuple86,3463
  | EConstructEConstruct87,3493
  | EIfThenElseEIfThenElse88,3567
  | EWhileEWhile89,3623
  | EForEFor90,3661
  | ESequenceESequence91,3737
  | EIntEInt92,3778
  | EFailEFail93,3794
  | ENullENull94,3850
type data_type_def_branchdata_type_def_branch102,4016
type data_type_defdata_type_def106,4129
type definitiondefinition112,4260
type toplevel_itemtoplevel_item117,4346
  | DataTypeDataType118,4367
  | ValueDefinitionValueDefinition119,4445
  | ValueDeclarationValueDeclaration120,4513
  | OpenDirectiveOpenDirective121,4576
type implementationimplementation123,4645
type interfaceinterface126,4689

compiler/UntypedMezzo2UntypedOCaml.ml,1237
UntypedMezzo2UntypedOCaml1,0
module OO3,37
let identifieridentifier16,534
let translate_module_nametranslate_module_name32,1153
let field_indexfield_index40,1395
let sort_by_indexsort_by_index50,1722
let extract_field_indexextract_field_index59,2032
let print_maybe_qualifiedprint_maybe_qualified78,2699
let print_datacon_referenceprint_datacon_reference86,2897
let paspas95,3132
let seqseq104,3236
let gtzgtz114,3397
let rec magicmagic119,3462
let rec translate_patterntranslate_pattern159,5141
and completecomplete190,6221
let rec transltransl211,6966
and transl_equationstransl_equations289,9797
and transl_branchestransl_branches301,10223
and is_non_trivial_patternis_non_trivial_pattern308,10447
let tyvartyvar328,11039
let tyty331,11088
let initinit334,11128
let tyvarstyvars344,11298
let tystys347,11386
let data_sum_namedata_sum_name354,11609
let data_branchdata_branch357,11703
let data_sumdata_sum363,11965
let translate_itemtranslate_item389,12593
let translate_implementationtranslate_implementation403,13050
let translate_interfacetranslate_interface410,13250
let translate_interface_as_implementation_filtertranslate_interface_as_implementation_filter417,13547

compiler/UntypedMezzo2UntypedOCaml.mli,294
UntypedMezzo2UntypedOCaml1,0
val translate_module_nametranslate_module_name3,66
val translate_implementationtranslate_implementation4,115
val translate_interfacetranslate_interface5,204
val translate_interface_as_implementation_filtertranslate_interface_as_implementation_filter6,278

compiler/UntypedOCaml.ml,1728
UntypedOCaml1,0
type patternpattern26,1591
  | PVarPVar27,1606
  | PTuplePTuple28,1625
  | PConstructPConstruct30,1688
  | PRecordPRecord32,1754
  | PAsPAs33,1793
  | PAnyPAny34,1821
type rec_flagrec_flag40,1935
type for_flagfor_flag43,1979
type for_flag = ToTo43,1979
type for_flag = To | DowntoDownto43,1979
type expressionexpression45,2008
  | EVarEVar47,2088
  | ELetELet48,2107
  | EFunEFun49,2171
  | EAssignEAssign51,2235
  | EAccessEAccess52,2283
  | EApplyEApply53,2318
  | EMatchEMatch54,2356
  | ETupleETuple55,2411
  | EConstructEConstruct57,2480
  | ERecordERecord59,2552
  | EIfThenElseEIfThenElse60,2594
  | EWhileEWhile61,2650
  | EForEFor62,2688
  | ESequenceESequence63,2757
  | EIntEInt64,2798
  | EStringLiteralEStringLiteral65,2814
  | ESetFieldESetField67,2900
  | ESetTagESetTag68,2947
  | EGetFieldEGetField69,2979
  | EGetTagEGetTag70,3013
  | EMagicEMagic72,3060
type tyty78,3184
  | TyVarTyVar79,3194
  | TyObjTyObj80,3235
type data_type_def_branchdata_type_def_branch86,3370
type data_type_def_lhsdata_type_def_lhs90,3474
type mutabilitymutability94,3562
  | ImmutableImmutable95,3580
  | MutableMutable96,3594
type record_defrecord_def98,3607
type data_type_def_rhsdata_type_def_rhs102,3694
  | SumSum103,3719
  | RecordRecord104,3756
type data_type_defdata_type_def106,3782
type definitiondefinition113,3956
type toplevel_itemtoplevel_item120,4126
  | DataTypeGroupDataTypeGroup121,4147
  | ValueDefinitionValueDefinition122,4182
  | ValueDeclarationValueDeclaration123,4216
  | OpenDirectiveOpenDirective124,4252
type implementationimplementation126,4281
type interfaceinterface129,4327

compiler/UntypedOCamlPrinter.ml,1122
UntypedOCamlPrinter1,0
let objobj12,359
let vobjvobj15,390
let varvar24,707
let rec atomic_patternatomic_pattern55,1194
and normal_patternnormal_pattern74,1637
and dangerous_patterndangerous_pattern83,1870
and patternpattern89,2014
let rec atomic_expressionatomic_expression100,2344
and prefix_applicationprefix_application160,3878
and normal_expressionnormal_expression182,4775
and sequence_expressionsequence_expression188,4967
and dangling_expressiondangling_expression204,5518
and flagflag236,6241
and for_flagfor_flag242,6359
and branchbranch246,6436
and equationsequations253,6565
and equationequation259,6663
and expressionexpression264,6769
let tyty271,6911
let data_type_def_branchdata_type_def_branch277,7004
let data_type_def_lhsdata_type_def_lhs287,7234
let mutabilitymutability298,7466
let record_defrecord_def304,7561
let data_type_def_rhsdata_type_def_rhs311,7743
let data_type_defdata_type_def317,7894
let definitiondefinition326,8147
let toplevel_itemtoplevel_item337,8349
let implementationimplementation347,8618
let interfaceinterface352,8723

compiler/UntypedOCamlPrinter.mli,94
UntypedOCamlPrinter1,0
val implementationimplementation6,84
val interfaceinterface7,131

tests/unit/UnitTests.ml,46
UnitTests1,0
let unit_testsunit_tests6,51

ocamlbuild/ocamlbuild_mezzo.ml,78
Ocamlbuild_mezzo1,0
let apply_rules_and_flagsapply_rules_and_flags30,1782