(*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

(* TODO(T132410158) Add a module-level doc comment. *)

module AnnotatedAttribute = AnnotatedAttribute
module AnnotatedCall = AnnotatedCall
module AnnotatedCallable = AnnotatedCallable
module AnnotatedDefine = AnnotatedDefine
module AnnotatedGlobalEnvironment = AnnotatedGlobalEnvironment
module ArtifactPaths = ArtifactPaths
module AttributeResolution = AttributeResolution
module AstEnvironment = AstEnvironment
module UnawaitedAwaitableCheck = UnawaitedAwaitableCheck
module Callgraph = Callgraph
module Cfg = Cfg
module ClassHierarchy = ClassHierarchy
module ClassHierarchyEnvironment = ClassHierarchyEnvironment
module ClassSuccessorMetadataEnvironment = ClassSuccessorMetadataEnvironment
module ClassSummary = ClassSummary
module ConstraintsSet = ConstraintsSet
module CycleDetection = CycleDetection
module Environment = Environment
module EnvironmentControls = EnvironmentControls
module ErrorsEnvironment = ErrorsEnvironment
module AnalysisError = AnalysisError
module Fixpoint = Fixpoint
module FunctionDefinition = FunctionDefinition
module FunctionDefinitionEnvironment = FunctionDefinitionEnvironment
module GlobalModulePathsApi = GlobalModulePathsApi
module GlobalResolution = GlobalResolution
module GlobalLeakCheck = GlobalLeakCheck
module DecoratorPreprocessing = DecoratorPreprocessing
module LatticeOfMaps = LatticeOfMaps
module LocationBasedLookup = LocationBasedLookup
module Module = Module
module ModuleTracker = ModuleTracker
module OverlaidEnvironment = OverlaidEnvironment
module NamedTuple = NamedTuple
module Parsing = Parsing
module Postprocessing = Postprocessing
module Preprocessing = Preprocessing
module PyrePysaEnvironment = PyrePysaEnvironment
module PyrePysaLogic = PyrePysaLogic
module Resolution = Resolution
module ResolvedReference = ResolvedReference
module Scope = Scope
module SharedMemoryKeys = SharedMemoryKeys
module SignatureSelection = SignatureSelection
module SignatureSelectionTypes = SignatureSelectionTypes
module SourceCodeApi = SourceCodeApi
module SourceCodeIncrementalApi = SourceCodeIncrementalApi
module SourceCodeEnvironment = SourceCodeEnvironment
module SourcePaths = SourcePaths
module Type = Type
module TypeAliasEnvironment = TypeAliasEnvironment
module TypeCheck = TypeCheck
module TypeEnvironment = TypeEnvironment
module TypeInfo = TypeInfo
module TypeOperation = TypeOperation
module TypeOrder = TypeOrder
module TypeConstraints = TypeConstraints
module UnannotatedGlobalEnvironment = UnannotatedGlobalEnvironment
module UninitializedLocalCheck = UninitializedLocalCheck
module WeakenMutableLiterals = WeakenMutableLiterals
module WeakTopologicalOrder = WeakTopologicalOrder
module TaintAccessPath = TaintAccessPath
