Path	Lines of Code
source/analysis/aliasEnvironment.ml	400
source/analysis/aliasEnvironment.mli	36
source/analysis/analysis.ml	63
source/analysis/analysisError.ml	4039
source/analysis/analysisError.mli	451
source/analysis/annotated.ml	12
source/analysis/annotated.mli	12
source/analysis/annotatedAttribute.ml	186
source/analysis/annotatedAttribute.mli	101
source/analysis/annotatedBases.ml	71
source/analysis/annotatedBases.mli	23
source/analysis/annotatedCall.ml	37
source/analysis/annotatedCall.mli	10
source/analysis/annotatedCallable.ml	132
source/analysis/annotatedCallable.mli	24
source/analysis/annotatedDefine.ml	134
source/analysis/annotatedDefine.mli	18
source/analysis/annotatedGlobalEnvironment.ml	94
source/analysis/annotatedGlobalEnvironment.mli	24
source/analysis/annotation.ml	132
source/analysis/annotation.mli	38
source/analysis/assumptions.ml	48
source/analysis/assumptions.mli	43
source/analysis/astEnvironment.ml	473
source/analysis/astEnvironment.mli	71
source/analysis/attributeResolution.ml	4724
source/analysis/attributeResolution.mli	236
source/analysis/callgraph.ml	287
source/analysis/callgraph.mli	74
source/analysis/cfg.ml	613
source/analysis/cfg.mli	53
source/analysis/classHierarchy.ml	403
source/analysis/classHierarchy.mli	81
source/analysis/classHierarchyEnvironment.ml	225
source/analysis/classHierarchyEnvironment.mli	28
source/analysis/classMetadataEnvironment.ml	141
source/analysis/classMetadataEnvironment.mli	32
source/analysis/classSummary.ml	1095
source/analysis/classSummary.mli	112
source/analysis/constraintsSet.ml	1100
source/analysis/constraintsSet.mli	69
source/analysis/emptyStubEnvironment.ml	52
source/analysis/emptyStubEnvironment.mli	19
source/analysis/environment.ml	304
source/analysis/environment.mli	113
source/analysis/fixpoint.ml	175
source/analysis/fixpoint.mli	32
source/analysis/functionDefinition.ml	188
source/analysis/functionDefinition.mli	29
source/analysis/globalResolution.ml	495
source/analysis/globalResolution.mli	192
source/analysis/indexTracker.ml	80
source/analysis/indexTracker.mli	14
source/analysis/inlineDecorator.ml	795
source/analysis/inlineDecorator.mli	48
source/analysis/localAnnotationMap.ml	101
source/analysis/localAnnotationMap.mli	23
source/analysis/locationBasedLookup.ml	602
source/analysis/locationBasedLookup.mli	49
source/analysis/managedCache.ml	81
source/analysis/managedCache.mli	33
source/analysis/moduleTracker.ml	436
source/analysis/moduleTracker.mli	48
source/analysis/namedTuple.ml	41
source/analysis/namedTuple.mli	8
source/analysis/postprocessing.ml	223
source/analysis/postprocessing.mli	14
source/analysis/preprocessing.ml	3925
source/analysis/preprocessing.mli	87
source/analysis/refinement.ml	368
source/analysis/refinement.mli	65
source/analysis/resolution.ml	346
source/analysis/resolution.mli	88
source/analysis/scope.ml	739
source/analysis/scope.mli	114
source/analysis/sharedMemoryKeys.ml	193
source/analysis/sharedMemoryKeys.mli	78
source/analysis/signatureSelectionTypes.ml	82
source/analysis/type.ml	5719
source/analysis/type.mli	765
source/analysis/typeCheck.ml	6912
source/analysis/typeCheck.mli	80
source/analysis/typeConstraints.ml	663
source/analysis/typeConstraints.mli	49
source/analysis/typeEnvironment.ml	97
source/analysis/typeEnvironment.mli	36
source/analysis/typeOperation.ml	83
source/analysis/typeOperation.mli	23
source/analysis/typeOrder.ml	642
source/analysis/typeOrder.mli	26
source/analysis/unannotatedGlobalEnvironment.ml	932
source/analysis/unannotatedGlobalEnvironment.mli	118
source/analysis/uninitializedLocalCheck.ml	265
source/analysis/uninitializedLocalCheck.mli	15
source/analysis/weakTopologicalOrder.ml	97
source/analysis/weakTopologicalOrder.mli	24
source/analysis/weakenMutableLiterals.ml	580
source/analysis/weakenMutableLiterals.mli	50