Path	Lines of Code
src/analysis/bindings.ml	64
src/analysis/bindings.mli	32
src/analysis/env_builder/env_api.ml	395
src/analysis/env_builder/find_providers.ml	1072
src/analysis/env_builder/invalidation_api.ml	143
src/analysis/env_builder/name_def.ml	432
src/analysis/env_builder/name_def_ordering.ml	509
src/analysis/env_builder/name_resolver.ml	3437
src/analysis/env_builder/order_builder.ml	95
src/analysis/env_builder/provider_api.ml	86
src/analysis/env_builder/refinement_key.ml	169
src/analysis/hoister.ml	260
src/analysis/property_assignment.ml	362
src/analysis/property_assignment.mli	20
src/analysis/scope_api.ml	212
src/analysis/scope_api.mli	9
src/analysis/scope_api_sig.ml	62
src/analysis/scope_builder.ml	661
src/analysis/scope_builder_sig.ml	45
src/analysis/ssa_api.ml	66
src/analysis/ssa_builder.ml	1138