(lang dune 2.7)
(name pyrelib)
(version "")
(library
 (name pyrelib)
 (kind normal)
 (archives (byte pyrelib.cma) (native pyrelib.cmxa))
 (plugins (byte pyrelib.cma) (native pyrelib.cmxs))
 (native_archives pyrelib.a)
 (requires
  pyrelib.pyreParser
  pyrelib.analysis
  pyrelib.ast
  pyrelib.service
  pyrelib.commands
  pyrelib.configuration
  pyrelib.pyre
  pyrelib.taint
  pyrelib.deadStore
  pyrelib.timer
  pyrelib.path
  pyrelib.file
  pyrelib.version
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Pyrelib)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Pyrelib)
   (alias_module
    (name Pyrelib)
    (obj_name pyrelib)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.analysis)
 (kind normal)
 (archives (byte analysis/analysis.cma) (native analysis/analysis.cmxa))
 (plugins (byte analysis/analysis.cma) (native analysis/analysis.cmxs))
 (native_archives analysis/analysis.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.memory
  pyrelib.dependencyTrackedMemory
  pyrelib.scheduler
  pyrelib.pyreParser
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.file
  pyrelib.type
  pyrelib.preprocessing
  pyrelib.decorators
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Analysis)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Analysis)
   (modules
    ((name AliasEnvironment)
     (obj_name analysis__AliasEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name Analysis) (obj_name analysis) (visibility public) (impl))
    ((name AnalysisError)
     (obj_name analysis__AnalysisError)
     (visibility public)
     (impl)
     (intf))
    ((name Annotated)
     (obj_name analysis__Annotated)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedAttribute)
     (obj_name analysis__AnnotatedAttribute)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedBases)
     (obj_name analysis__AnnotatedBases)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedCall)
     (obj_name analysis__AnnotatedCall)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedCallable)
     (obj_name analysis__AnnotatedCallable)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedDefine)
     (obj_name analysis__AnnotatedDefine)
     (visibility public)
     (impl)
     (intf))
    ((name AnnotatedGlobalEnvironment)
     (obj_name analysis__AnnotatedGlobalEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name Annotation)
     (obj_name analysis__Annotation)
     (visibility public)
     (impl)
     (intf))
    ((name Assumptions)
     (obj_name analysis__Assumptions)
     (visibility public)
     (impl)
     (intf))
    ((name AstEnvironment)
     (obj_name analysis__AstEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name AttributeResolution)
     (obj_name analysis__AttributeResolution)
     (visibility public)
     (impl)
     (intf))
    ((name AwaitableCheck)
     (obj_name analysis__AwaitableCheck)
     (visibility public)
     (impl)
     (intf))
    ((name BaseError)
     (obj_name analysis__BaseError)
     (visibility public)
     (impl)
     (intf))
    ((name Callgraph)
     (obj_name analysis__Callgraph)
     (visibility public)
     (impl)
     (intf))
    ((name Cfg) (obj_name analysis__Cfg) (visibility public) (impl) (intf))
    ((name Check)
     (obj_name analysis__Check)
     (visibility public)
     (impl)
     (intf))
    ((name ClassHierarchy)
     (obj_name analysis__ClassHierarchy)
     (visibility public)
     (impl)
     (intf))
    ((name ClassHierarchyEnvironment)
     (obj_name analysis__ClassHierarchyEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name ClassMetadataEnvironment)
     (obj_name analysis__ClassMetadataEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name ClassSummary)
     (obj_name analysis__ClassSummary)
     (visibility public)
     (impl)
     (intf))
    ((name ConstraintsSet)
     (obj_name analysis__ConstraintsSet)
     (visibility public)
     (impl)
     (intf))
    ((name Coverage)
     (obj_name analysis__Coverage)
     (visibility public)
     (impl)
     (intf))
    ((name CustomAnalysis)
     (obj_name analysis__CustomAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name DeobfuscationCheck)
     (obj_name analysis__DeobfuscationCheck)
     (visibility public)
     (impl)
     (intf))
    ((name EmptyStubEnvironment)
     (obj_name analysis__EmptyStubEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name Environment)
     (obj_name analysis__Environment)
     (visibility public)
     (impl)
     (intf))
    ((name Fixpoint)
     (obj_name analysis__Fixpoint)
     (visibility public)
     (impl)
     (intf))
    ((name FunctionDefinition)
     (obj_name analysis__FunctionDefinition)
     (visibility public)
     (impl)
     (intf))
    ((name GlobalResolution)
     (obj_name analysis__GlobalResolution)
     (visibility public)
     (impl)
     (intf))
    ((name ImmutableCollectionCheck)
     (obj_name analysis__ImmutableCollectionCheck)
     (visibility public)
     (impl)
     (intf))
    ((name IndexTracker)
     (obj_name analysis__IndexTracker)
     (visibility public)
     (impl)
     (intf))
    ((name Inference)
     (obj_name analysis__Inference)
     (visibility public)
     (impl)
     (intf))
    ((name InferenceError)
     (obj_name analysis__InferenceError)
     (visibility public)
     (impl)
     (intf))
    ((name LivenessCheck)
     (obj_name analysis__LivenessCheck)
     (visibility public)
     (impl)
     (intf))
    ((name LocalAnnotationMap)
     (obj_name analysis__LocalAnnotationMap)
     (visibility public)
     (impl)
     (intf))
    ((name Lookup)
     (obj_name analysis__Lookup)
     (visibility public)
     (impl)
     (intf))
    ((name ManagedCache)
     (obj_name analysis__ManagedCache)
     (visibility public)
     (impl)
     (intf))
    ((name ModuleTracker)
     (obj_name analysis__ModuleTracker)
     (visibility public)
     (impl)
     (intf))
    ((name NamedTuple)
     (obj_name analysis__NamedTuple)
     (visibility public)
     (impl)
     (intf))
    ((name Postprocessing)
     (obj_name analysis__Postprocessing)
     (visibility public)
     (impl)
     (intf))
    ((name RefinementUnit)
     (obj_name analysis__RefinementUnit)
     (visibility public)
     (impl)
     (intf))
    ((name Resolution)
     (obj_name analysis__Resolution)
     (visibility public)
     (impl)
     (intf))
    ((name SharedMemoryKeys)
     (obj_name analysis__SharedMemoryKeys)
     (visibility public)
     (impl)
     (intf))
    ((name SignatureSelectionTypes)
     (obj_name analysis__SignatureSelectionTypes)
     (visibility public)
     (impl))
    ((name TypeCheck)
     (obj_name analysis__TypeCheck)
     (visibility public)
     (impl)
     (intf))
    ((name TypeConstraints)
     (obj_name analysis__TypeConstraints)
     (visibility public)
     (impl)
     (intf))
    ((name TypeEnvironment)
     (obj_name analysis__TypeEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name TypeOrder)
     (obj_name analysis__TypeOrder)
     (visibility public)
     (impl)
     (intf))
    ((name UnannotatedGlobalEnvironment)
     (obj_name analysis__UnannotatedGlobalEnvironment)
     (visibility public)
     (impl)
     (intf))
    ((name WeakenMutableLiterals)
     (obj_name analysis__WeakenMutableLiterals)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Analysis__)
    (obj_name analysis__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.ast)
 (kind normal)
 (archives (byte ast/ast.cma) (native ast/ast.cmxa))
 (plugins (byte ast/ast.cma) (native ast/ast.cmxs))
 (native_archives ast/ast.a)
 (requires
  base64
  core
  sexplib
  yojson
  ppx_deriving
  ppx_deriving_yojson
  ppx_deriving_yojson.runtime
  pyrelib.file
  pyrelib.pyre
  pyrelib.configuration
  pyrelib.recognized
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name Ast)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Ast)
   (modules
    ((name Expression)
     (obj_name ast__Expression)
     (visibility public)
     (impl)
     (intf))
    ((name Identifier)
     (obj_name ast__Identifier)
     (visibility public)
     (impl)
     (intf))
    ((name Ignore) (obj_name ast__Ignore) (visibility public) (impl) (intf))
    ((name Location)
     (obj_name ast__Location)
     (visibility public)
     (impl)
     (intf))
    ((name Module) (obj_name ast__Module) (visibility public) (impl) (intf))
    ((name Node) (obj_name ast__Node) (visibility public) (impl) (intf))
    ((name Reference)
     (obj_name ast__Reference)
     (visibility public)
     (impl)
     (intf))
    ((name SerializableMap)
     (obj_name ast__SerializableMap)
     (visibility public)
     (impl)
     (intf))
    ((name Source) (obj_name ast__Source) (visibility public) (impl) (intf))
    ((name SourcePath)
     (obj_name ast__SourcePath)
     (visibility public)
     (impl)
     (intf))
    ((name Statement)
     (obj_name ast__Statement)
     (visibility public)
     (impl)
     (intf))
    ((name Transform)
     (obj_name ast__Transform)
     (visibility public)
     (impl)
     (intf))
    ((name UnannotatedGlobal)
     (obj_name ast__UnannotatedGlobal)
     (visibility public)
     (impl)
     (intf))
    ((name Visit) (obj_name ast__Visit) (visibility public) (impl) (intf)))
   (alias_module
    (name Ast)
    (obj_name ast)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.commandTest)
 (kind normal)
 (archives
  (byte commandTest/commandTest.cma)
  (native commandTest/commandTest.cmxa))
 (plugins
  (byte commandTest/commandTest.cma)
  (native commandTest/commandTest.cmxs))
 (native_archives commandTest/commandTest.a)
 (requires
  oUnit
  pyrelib.commands
  pyrelib.languageServer
  pyrelib.server
  pyrelib.test
  pyrelib.ast
  pyrelib.analysis)
 (main_module_name CommandTest)
 (modes byte native)
 (modules
  (singleton
   (name CommandTest)
   (obj_name commandTest)
   (visibility public)
   (impl))))
(library
 (name pyrelib.commands)
 (kind normal)
 (archives (byte commands/commands.cma) (native commands/commands.cmxa))
 (plugins (byte commands/commands.cma) (native commands/commands.cmxs))
 (native_archives commands/commands.a)
 (requires
  core
  core.squeue
  sexplib
  ppxlib
  yojson
  ppx_deriving
  ppx_deriving_yojson
  ppx_deriving_yojson.runtime
  pyrelib.service
  pyrelib.ast
  pyrelib.analysis
  pyrelib.fetchSavedState
  pyrelib.pyre
  pyrelib.server
  pyrelib.newserver
  pyrelib.network
  pyrelib.languageServer
  pyrelib.version
  pyrelib.taintAnalysis
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name Commands)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Commands)
   (modules
    ((name AnalyzeCommand)
     (obj_name commands__AnalyzeCommand)
     (visibility public)
     (impl)
     (intf))
    ((name CheckCommand)
     (obj_name commands__CheckCommand)
     (visibility public)
     (impl)
     (intf))
    ((name Commands) (obj_name commands) (visibility public) (impl))
    ((name InferCommand)
     (obj_name commands__InferCommand)
     (visibility public)
     (impl)
     (intf))
    ((name NewServerCommand)
     (obj_name commands__NewServerCommand)
     (visibility public)
     (impl)
     (intf))
    ((name PersistentCommand)
     (obj_name commands__PersistentCommand)
     (visibility public)
     (impl)
     (intf))
    ((name RageCommand)
     (obj_name commands__RageCommand)
     (visibility public)
     (impl)
     (intf))
    ((name Specification)
     (obj_name commands__Specification)
     (visibility public)
     (impl)
     (intf))
    ((name StartCommand)
     (obj_name commands__StartCommand)
     (visibility public)
     (impl)
     (intf))
    ((name StopCommand)
     (obj_name commands__StopCommand)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Commands__)
    (obj_name commands__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.configuration)
 (kind normal)
 (archives
  (byte configuration/configuration.cma)
  (native configuration/configuration.cmxa))
 (plugins
  (byte configuration/configuration.cma)
  (native configuration/configuration.cmxs))
 (native_archives configuration/configuration.a)
 (requires
  core
  ppx_deriving
  pyrelib.pyre
  pyrelib.path
  pyrelib.search_path
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Configuration)
 (modes byte native)
 (modules
  (singleton
   (name Configuration)
   (obj_name configuration)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.deadStore)
 (kind normal)
 (archives (byte deadStore/deadStore.cma) (native deadStore/deadStore.cmxa))
 (plugins (byte deadStore/deadStore.cma) (native deadStore/deadStore.cmxs))
 (native_archives deadStore/deadStore.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.analysis
  pyrelib.interprocedural
  pyrelib.pyreParser
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.file
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name DeadStore)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name DeadStore)
   (modules
    ((name DeadStore) (obj_name deadStore) (visibility public) (impl))
    ((name DeadStoreAnalysis)
     (obj_name deadStore__DeadStoreAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name DeadStoreResult)
     (obj_name deadStore__DeadStoreResult)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name DeadStore__)
    (obj_name deadStore__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.decorators)
 (kind normal)
 (archives
  (byte decorators/decorators.cma)
  (native decorators/decorators.cmxa))
 (plugins
  (byte decorators/decorators.cma)
  (native decorators/decorators.cmxs))
 (native_archives decorators/decorators.a)
 (requires
  core
  pyrelib.ast
  pyrelib.type
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Decorators)
 (modes byte native)
 (modules
  (singleton
   (name Decorators)
   (obj_name decorators)
   (visibility public)
   (impl))))
(library
 (name pyrelib.dependencyTrackedMemory)
 (kind normal)
 (archives
  (byte dependencyTrackedMemory/dependencyTrackedMemory.cma)
  (native dependencyTrackedMemory/dependencyTrackedMemory.cmxa))
 (plugins
  (byte dependencyTrackedMemory/dependencyTrackedMemory.cma)
  (native dependencyTrackedMemory/dependencyTrackedMemory.cmxs))
 (native_archives dependencyTrackedMemory/dependencyTrackedMemory.a)
 (requires
  core
  sexplib
  ppxlib
  pyrelib.configuration
  pyrelib.memory
  pyrelib.scheduler
  pyrelib.statistics
  hack_parallel
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name DependencyTrackedMemory)
 (modes byte native)
 (modules
  (singleton
   (name DependencyTrackedMemory)
   (obj_name dependencyTrackedMemory)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.domains)
 (kind normal)
 (archives (byte domains/abstract.cma) (native domains/abstract.cmxa))
 (plugins (byte domains/abstract.cma) (native domains/abstract.cmxs))
 (native_archives domains/abstract.a)
 (requires core ppx_deriving ppx_deriving.runtime)
 (main_module_name Abstract)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Abstract)
   (modules
    ((name Abstract) (obj_name abstract) (visibility public) (impl))
    ((name AbstractBucketedElementSetDomain)
     (obj_name abstract__AbstractBucketedElementSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractDomainCore)
     (obj_name abstract__AbstractDomainCore)
     (visibility public)
     (impl))
    ((name AbstractElementSetDomain)
     (obj_name abstract__AbstractElementSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractFlatDomain)
     (obj_name abstract__AbstractFlatDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractInvertedSetDomain)
     (obj_name abstract__AbstractInvertedSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractMapDomain)
     (obj_name abstract__AbstractMapDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractOverUnderSetDomain)
     (obj_name abstract__AbstractOverUnderSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractProductDomain)
     (obj_name abstract__AbstractProductDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractSetDomain)
     (obj_name abstract__AbstractSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractSimpleDomain)
     (obj_name abstract__AbstractSimpleDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractToppedSetDomain)
     (obj_name abstract__AbstractToppedSetDomain)
     (visibility public)
     (impl)
     (intf))
    ((name AbstractTreeDomain)
     (obj_name abstract__AbstractTreeDomain)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Abstract__)
    (obj_name abstract__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.fetchSavedState)
 (kind normal)
 (archives
  (byte fetchSavedState/fetchSavedState.cma)
  (native fetchSavedState/fetchSavedState.cmxa))
 (plugins
  (byte fetchSavedState/fetchSavedState.cma)
  (native fetchSavedState/fetchSavedState.cmxs))
 (native_archives fetchSavedState/fetchSavedState.a)
 (requires
  pyrelib.network
  pyrelib.path
  pyrelib.pyre
  core
  yojson
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name FetchSavedState)
 (modes byte native)
 (modules
  (singleton
   (name FetchSavedState)
   (obj_name fetchSavedState)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.fetchSavedStateNew)
 (kind normal)
 (archives
  (byte fetchSavedStateNew/fetchSavedStateNew.cma)
  (native fetchSavedStateNew/fetchSavedStateNew.cmxa))
 (plugins
  (byte fetchSavedStateNew/fetchSavedStateNew.cma)
  (native fetchSavedStateNew/fetchSavedStateNew.cmxs))
 (native_archives fetchSavedStateNew/fetchSavedStateNew.a)
 (requires
  core
  yojson
  pyrelib.lwtsubprocess
  pyrelib.path
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name FetchSavedStateNew)
 (modes byte native)
 (modules
  (singleton
   (name FetchSavedStateNew)
   (obj_name fetchSavedStateNew)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.file)
 (kind normal)
 (archives (byte file/file.cma) (native file/file.cmxa))
 (plugins (byte file/file.cma) (native file/file.cmxs))
 (native_archives file/file.a)
 (requires
  core
  sexplib
  ppxlib
  ppx_deriving
  hack_parallel
  pyrelib.configuration
  pyrelib.pyre
  pyrelib.path
  pyrelib.search_path
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name File)
 (modes byte native)
 (modules
  (singleton (name File) (obj_name file) (visibility public) (impl) (intf))))
(library
 (name pyrelib.integrationTest)
 (kind normal)
 (archives
  (byte integrationTest/integrationTest.cma)
  (native integrationTest/integrationTest.cmxa))
 (plugins
  (byte integrationTest/integrationTest.cma)
  (native integrationTest/integrationTest.cmxs))
 (native_archives integrationTest/integrationTest.a)
 (requires
  oUnit
  pyrelib.test
  pyrelib.ast
  pyrelib.analysis
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name IntegrationTest)
 (modes byte native)
 (modules
  (singleton
   (name IntegrationTest)
   (obj_name integrationTest)
   (visibility public)
   (impl))))
(library
 (name pyrelib.interprocedural)
 (kind normal)
 (archives
  (byte interprocedural/interprocedural.cma)
  (native interprocedural/interprocedural.cmxa))
 (plugins
  (byte interprocedural/interprocedural.cma)
  (native interprocedural/interprocedural.cmxs))
 (native_archives interprocedural/interprocedural.a)
 (requires
  core
  sexplib
  yojson
  ppxlib
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.analysis
  pyrelib.ast
  pyrelib.pyreParser
  pyrelib.recognized
  pyrelib.scheduler
  pyrelib.specialCallResolution
  pyrelib.statistics
  pyrelib.version
  pyrelib.file
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Interprocedural)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Interprocedural)
   (modules
    ((name AnalysisKind)
     (obj_name interprocedural__AnalysisKind)
     (visibility public)
     (impl)
     (intf))
    ((name CallResolution)
     (obj_name interprocedural__CallResolution)
     (visibility public)
     (impl)
     (intf))
    ((name Callable)
     (obj_name interprocedural__Callable)
     (visibility public)
     (impl)
     (intf))
    ((name DependencyGraph)
     (obj_name interprocedural__DependencyGraph)
     (visibility public)
     (impl)
     (intf))
    ((name DependencyGraphSharedMemory)
     (obj_name interprocedural__DependencyGraphSharedMemory)
     (visibility public)
     (impl)
     (intf))
    ((name Fixpoint)
     (obj_name interprocedural__Fixpoint)
     (visibility public)
     (impl)
     (intf))
    ((name Interprocedural)
     (obj_name interprocedural)
     (visibility public)
     (impl))
    ((name InterproceduralAnalysis)
     (obj_name interprocedural__InterproceduralAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name InterproceduralError)
     (obj_name interprocedural__InterproceduralError)
     (visibility public)
     (impl)
     (intf))
    ((name InterproceduralResult)
     (obj_name interprocedural__InterproceduralResult)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Interprocedural__)
    (obj_name interprocedural__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.languageServer)
 (kind normal)
 (archives
  (byte languageServer/languageServer.cma)
  (native languageServer/languageServer.cmxa))
 (plugins
  (byte languageServer/languageServer.cma)
  (native languageServer/languageServer.cmxs))
 (native_archives languageServer/languageServer.a)
 (requires
  core
  core.uuid
  sexplib
  ppxlib
  yojson
  ppx_deriving
  ppx_deriving_yojson
  ppx_deriving_yojson.runtime
  pyrelib.ast
  pyrelib.analysis
  pyrelib.version
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name LanguageServer)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name LanguageServer)
   (modules
    ((name Protocol)
     (obj_name languageServer__Protocol)
     (visibility public)
     (impl)
     (intf))
    ((name Types) (obj_name languageServer__Types) (visibility public) (impl)))
   (alias_module
    (name LanguageServer)
    (obj_name languageServer)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.log)
 (kind normal)
 (archives (byte log/log.cma) (native log/log.cmxa))
 (plugins (byte log/log.cma) (native log/log.cmxs))
 (native_archives log/log.a)
 (requires
  core
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Log)
 (modes byte native)
 (modules
  (singleton (name Log) (obj_name log) (visibility public) (impl) (intf))))
(library
 (name pyrelib.lwtsubprocess)
 (kind normal)
 (archives
  (byte lwtsubprocess/lwtSubprocess.cma)
  (native lwtsubprocess/lwtSubprocess.cmxa))
 (plugins
  (byte lwtsubprocess/lwtSubprocess.cma)
  (native lwtsubprocess/lwtSubprocess.cmxs))
 (native_archives lwtsubprocess/lwtSubprocess.a)
 (requires
  lwt
  lwt.unix
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name LwtSubprocess)
 (modes byte native)
 (modules
  (singleton
   (name LwtSubprocess)
   (obj_name lwtSubprocess)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.memory)
 (kind normal)
 (archives (byte memory/memory.cma) (native memory/memory.cmxa))
 (plugins (byte memory/memory.cma) (native memory/memory.cmxs))
 (native_archives memory/memory.a)
 (requires
  base64
  core
  sexplib
  ppxlib
  pyrelib.configuration
  hack_parallel
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Memory)
 (modes byte native)
 (modules
  (singleton
   (name Memory)
   (obj_name memory)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.network)
 (kind normal)
 (archives (byte network/network.cma) (native network/network.cmxa))
 (plugins (byte network/network.cma) (native network/network.cmxs))
 (native_archives network/network.a)
 (requires
  core
  sexplib
  ppxlib
  yojson
  ppx_deriving
  ppx_deriving_yojson
  ppx_deriving_yojson.runtime
  pyrelib.languageServer
  pyrelib.version
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name Network)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Network)
   (modules
    ((name Socket)
     (obj_name network__Socket)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Network)
    (obj_name network)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.newserver)
 (kind normal)
 (archives (byte newserver/newserver.cma) (native newserver/newserver.cmxa))
 (plugins (byte newserver/newserver.cma) (native newserver/newserver.cmxs))
 (native_archives newserver/newserver.a)
 (requires
  core
  ppx_deriving_yojson.runtime
  pyrelib.lwtsubprocess
  pyrelib.server
  pyrelib.service
  pyrelib.ast
  pyrelib.analysis
  pyrelib.fetchSavedStateNew
  pyrelib.pyre
  pyrelib.version
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  yojson)
 (main_module_name Newserver)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Newserver)
   (modules
    ((name Request) (obj_name newserver__Request) (visibility public) (impl))
    ((name RequestHandler)
     (obj_name newserver__RequestHandler)
     (visibility public)
     (impl)
     (intf))
    ((name Response)
     (obj_name newserver__Response)
     (visibility public)
     (impl))
    ((name SavedState)
     (obj_name newserver__SavedState)
     (visibility public)
     (impl)
     (intf))
    ((name ServerConfiguration)
     (obj_name newserver__ServerConfiguration)
     (visibility public)
     (impl)
     (intf))
    ((name ServerState)
     (obj_name newserver__ServerState)
     (visibility public)
     (impl))
    ((name Start)
     (obj_name newserver__Start)
     (visibility public)
     (impl)
     (intf))
    ((name StartupNotification)
     (obj_name newserver__StartupNotification)
     (visibility public)
     (impl)
     (intf))
    ((name Stop) (obj_name newserver__Stop) (visibility public) (impl) (intf))
    ((name Watchman)
     (obj_name newserver__Watchman)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Newserver)
    (obj_name newserver)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.path)
 (kind normal)
 (archives (byte path/pyrePath.cma) (native path/pyrePath.cmxa))
 (plugins (byte path/pyrePath.cma) (native path/pyrePath.cmxs))
 (native_archives path/pyrePath.a)
 (requires
  core
  sexplib
  ppxlib
  ppx_deriving
  pyrelib.log
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name PyrePath)
 (modes byte native)
 (modules
  (singleton
   (name PyrePath)
   (obj_name pyrePath)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.preprocessing)
 (kind normal)
 (archives
  (byte preprocessing/preprocessing.cma)
  (native preprocessing/preprocessing.cmxa))
 (plugins
  (byte preprocessing/preprocessing.cma)
  (native preprocessing/preprocessing.cmxs))
 (native_archives preprocessing/preprocessing.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.pyreParser
  pyrelib.projectSpecificPreprocessing
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.file
  pyrelib.scope
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Preprocessing)
 (modes byte native)
 (modules
  (singleton
   (name Preprocessing)
   (obj_name preprocessing)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.profiling)
 (kind normal)
 (archives (byte profiling/profiling.cma) (native profiling/profiling.cmxa))
 (plugins (byte profiling/profiling.cma) (native profiling/profiling.cmxs))
 (native_archives profiling/profiling.a)
 (requires
  pyrelib.configuration
  pyrelib.timer
  pyrelib.file
  ppx_deriving_yojson.runtime
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  yojson)
 (main_module_name Profiling)
 (modes byte native)
 (modules
  (singleton
   (name Profiling)
   (obj_name profiling)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.projectSpecificPreprocessing)
 (kind normal)
 (archives
  (byte projectSpecificPreprocessing/projectSpecificPreprocessing.cma)
  (native projectSpecificPreprocessing/projectSpecificPreprocessing.cmxa))
 (plugins
  (byte projectSpecificPreprocessing/projectSpecificPreprocessing.cma)
  (native projectSpecificPreprocessing/projectSpecificPreprocessing.cmxs))
 (native_archives projectSpecificPreprocessing/projectSpecificPreprocessing.a)
 (requires
  pyrelib.ast
  pyrelib.path
  pyrelib.pyre
  core
  yojson
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name ProjectSpecificPreprocessing)
 (modes byte native)
 (modules
  (singleton
   (name ProjectSpecificPreprocessing)
   (obj_name projectSpecificPreprocessing)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.pyre)
 (kind normal)
 (archives (byte pyre/pyre.cma) (native pyre/pyre.cmxa))
 (plugins (byte pyre/pyre.cma) (native pyre/pyre.cmxs))
 (native_archives pyre/pyre.a)
 (requires
  core
  sexplib
  ppxlib
  ppx_deriving
  hack_parallel
  pyrelib.path
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Pyre)
 (modes byte native)
 (modules (singleton (name Pyre) (obj_name pyre) (visibility public) (impl))))
(library
 (name pyrelib.pyreParser)
 (kind normal)
 (archives
  (byte pyreParser/pyreParser.cma)
  (native pyreParser/pyreParser.cmxa))
 (plugins
  (byte pyreParser/pyreParser.cma)
  (native pyreParser/pyreParser.cmxs))
 (native_archives pyreParser/pyreParser.a)
 (requires
  core
  sexplib
  ppxlib
  yojson
  ppx_deriving_yojson
  pyrelib.ast
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name PyreParser)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name PyreParser)
   (modules
    ((name Generator)
     (obj_name pyreParser__Generator)
     (visibility public)
     (impl)
     (intf))
    ((name Lexer) (obj_name pyreParser__Lexer) (visibility public) (impl))
    ((name Parser)
     (obj_name pyreParser__Parser)
     (visibility public)
     (impl)
     (intf))
    ((name ParserExpression)
     (obj_name pyreParser__ParserExpression)
     (visibility public)
     (impl)))
   (alias_module
    (name PyreParser)
    (obj_name pyreParser)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.recognized)
 (kind normal)
 (archives
  (byte recognized/recognized.cma)
  (native recognized/recognized.cmxa))
 (plugins
  (byte recognized/recognized.cma)
  (native recognized/recognized.cmxs))
 (native_archives recognized/recognized.a)
 (requires
  core
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Recognized)
 (modes byte native)
 (modules
  (singleton
   (name Recognized)
   (obj_name recognized)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.scheduler)
 (kind normal)
 (archives (byte scheduler/scheduler.cma) (native scheduler/scheduler.cmxa))
 (plugins (byte scheduler/scheduler.cma) (native scheduler/scheduler.cmxs))
 (native_archives scheduler/scheduler.a)
 (requires
  core
  sexplib
  ppxlib
  pyrelib.configuration
  pyrelib.memory
  pyrelib.statistics
  hack_parallel
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Scheduler)
 (modes byte native)
 (modules
  (singleton
   (name Scheduler)
   (obj_name scheduler)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.scope)
 (kind normal)
 (archives (byte scope/scope.cma) (native scope/scope.cmxa))
 (plugins (byte scope/scope.cma) (native scope/scope.cmxs))
 (native_archives scope/scope.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Scope)
 (modes byte native)
 (modules
  (singleton (name Scope) (obj_name scope) (visibility public) (impl) (intf))))
(library
 (name pyrelib.search_path)
 (kind normal)
 (archives
  (byte search_path/searchPath.cma)
  (native search_path/searchPath.cmxa))
 (plugins
  (byte search_path/searchPath.cma)
  (native search_path/searchPath.cmxs))
 (native_archives search_path/searchPath.a)
 (requires
  core
  sexplib
  ppxlib
  ppx_deriving
  pyrelib.log
  pyrelib.path
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name SearchPath)
 (modes byte native)
 (modules
  (singleton
   (name SearchPath)
   (obj_name searchPath)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.server)
 (kind normal)
 (archives (byte server/server.cma) (native server/server.cmxa))
 (plugins (byte server/server.cma) (native server/server.cmxs))
 (native_archives server/server.a)
 (requires
  base64
  core
  core.uuid
  sexplib
  ppxlib
  yojson
  ppx_deriving
  ppx_deriving_yojson
  ppx_deriving_yojson.runtime
  pyrelib.ast
  pyrelib.analysis
  pyrelib.configuration
  pyrelib.fetchSavedState
  pyrelib.memory
  pyrelib.network
  pyrelib.languageServer
  pyrelib.service
  pyrelib.version
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime)
 (main_module_name Server)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Server)
   (modules
    ((name AutoComplete)
     (obj_name server__AutoComplete)
     (visibility public)
     (impl)
     (intf))
    ((name Connections)
     (obj_name server__Connections)
     (visibility public)
     (impl)
     (intf))
    ((name Handshake) (obj_name server__Handshake) (visibility public) (impl))
    ((name IncrementalCheck)
     (obj_name server__IncrementalCheck)
     (visibility public)
     (impl)
     (intf))
    ((name IncrementalStaticAnalysis)
     (obj_name server__IncrementalStaticAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name Jsonrpc)
     (obj_name server__Jsonrpc)
     (visibility public)
     (impl)
     (intf))
    ((name LookupCache)
     (obj_name server__LookupCache)
     (visibility public)
     (impl)
     (intf))
    ((name Operations)
     (obj_name server__Operations)
     (visibility public)
     (impl)
     (intf))
    ((name Protocol)
     (obj_name server__Protocol)
     (visibility public)
     (impl)
     (intf))
    ((name Query) (obj_name server__Query) (visibility public) (impl) (intf))
    ((name Request)
     (obj_name server__Request)
     (visibility public)
     (impl)
     (intf))
    ((name RequestParser)
     (obj_name server__RequestParser)
     (visibility public)
     (impl)
     (intf))
    ((name SavedState)
     (obj_name server__SavedState)
     (visibility public)
     (impl)
     (intf))
    ((name State) (obj_name server__State) (visibility public) (impl) (intf))
    ((name StatusUpdate)
     (obj_name server__StatusUpdate)
     (visibility public)
     (impl)
     (intf))
    ((name Telemetry)
     (obj_name server__Telemetry)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Server)
    (obj_name server)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.serverTest)
 (kind normal)
 (archives
  (byte serverTest/serverTest.cma)
  (native serverTest/serverTest.cmxa))
 (plugins
  (byte serverTest/serverTest.cma)
  (native serverTest/serverTest.cmxs))
 (native_archives serverTest/serverTest.a)
 (requires
  oUnit
  pyrelib.commands
  pyrelib.languageServer
  pyrelib.server
  pyrelib.test
  pyrelib.ast
  pyrelib.analysis
  ppx_sexp_conv.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson
  ppx_compare.runtime-lib)
 (main_module_name ServerTest)
 (modes byte native)
 (modules
  (singleton
   (name ServerTest)
   (obj_name serverTest)
   (visibility public)
   (impl))))
(library
 (name pyrelib.service)
 (kind normal)
 (archives (byte service/service.cma) (native service/service.cmxa))
 (plugins (byte service/service.cma) (native service/service.cmxs))
 (native_archives service/service.a)
 (requires
  base64
  core
  sexplib
  ppxlib
  pyrelib.ast
  pyrelib.analysis
  pyrelib.projectSpecificPreprocessing
  pyrelib.interprocedural
  pyrelib.path
  pyrelib.taint
  pyrelib.deadStore
  pyrelib.scheduler
  pyrelib.languageServer
  pyrelib.memory
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Service)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Service)
   (modules
    ((name Check) (obj_name service__Check) (visibility public) (impl) (intf))
    ((name Constants)
     (obj_name service__Constants)
     (visibility public)
     (impl)
     (intf))
    ((name Infer) (obj_name service__Infer) (visibility public) (impl) (intf))
    ((name Rage) (obj_name service__Rage) (visibility public) (impl) (intf))
    ((name StaticAnalysis)
     (obj_name service__StaticAnalysis)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Service)
    (obj_name service)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.specialCallResolution)
 (kind normal)
 (archives
  (byte specialCallResolution/specialCallResolution.cma)
  (native specialCallResolution/specialCallResolution.cmxa))
 (plugins
  (byte specialCallResolution/specialCallResolution.cma)
  (native specialCallResolution/specialCallResolution.cmxs))
 (native_archives specialCallResolution/specialCallResolution.a)
 (requires
  pyrelib.analysis
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name SpecialCallResolution)
 (modes byte native)
 (modules
  (singleton
   (name SpecialCallResolution)
   (obj_name specialCallResolution)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.statistics)
 (kind normal)
 (archives
  (byte statistics/statistics.cma)
  (native statistics/statistics.cmxa))
 (plugins
  (byte statistics/statistics.cma)
  (native statistics/statistics.cmxs))
 (native_archives statistics/statistics.a)
 (requires
  pyrelib.configuration
  pyrelib.timer
  pyrelib.profiling
  yojson
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Statistics)
 (modes byte native)
 (modules
  (singleton
   (name Statistics)
   (obj_name statistics)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.taint)
 (kind normal)
 (archives (byte taint/taint.cma) (native taint/taint.cmxa))
 (plugins (byte taint/taint.cma) (native taint/taint.cmxs))
 (native_archives taint/taint.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.analysis
  pyrelib.domains
  pyrelib.interprocedural
  pyrelib.pyreParser
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.file
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Taint)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Taint)
   (modules
    ((name AccessPath)
     (obj_name taint__AccessPath)
     (visibility public)
     (impl)
     (intf))
    ((name BackwardAnalysis)
     (obj_name taint__BackwardAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name CallGraphBuilder)
     (obj_name taint__CallGraphBuilder)
     (visibility public)
     (impl)
     (intf))
    ((name Configuration)
     (obj_name taint__Configuration)
     (visibility public)
     (impl)
     (intf))
    ((name Domains) (obj_name taint__Domains) (visibility public) (impl))
    ((name Features) (obj_name taint__Features) (visibility public) (impl))
    ((name Flow) (obj_name taint__Flow) (visibility public) (impl) (intf))
    ((name ForwardAnalysis)
     (obj_name taint__ForwardAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name Metrics) (obj_name taint__Metrics) (visibility public) (impl))
    ((name Model) (obj_name taint__Model) (visibility public) (impl) (intf))
    ((name ModelParser)
     (obj_name taint__ModelParser)
     (visibility public)
     (impl)
     (intf))
    ((name ModelVerifier)
     (obj_name taint__ModelVerifier)
     (visibility public)
     (impl)
     (intf))
    ((name Sinks) (obj_name taint__Sinks) (visibility public) (impl) (intf))
    ((name Sources)
     (obj_name taint__Sources)
     (visibility public)
     (impl)
     (intf))
    ((name Taint) (obj_name taint) (visibility public) (impl))
    ((name TaintResult)
     (obj_name taint__TaintResult)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Taint__)
    (obj_name taint__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.taintAnalysis)
 (kind normal)
 (archives
  (byte taintAnalysis/taintAnalysis.cma)
  (native taintAnalysis/taintAnalysis.cmxa))
 (plugins
  (byte taintAnalysis/taintAnalysis.cma)
  (native taintAnalysis/taintAnalysis.cmxs))
 (native_archives taintAnalysis/taintAnalysis.a)
 (requires
  pyrelib.taint
  pyrelib.interprocedural
  pyrelib.taintModelQuery
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name TaintAnalysis)
 (modes byte native)
 (modules
  (singleton
   (name TaintAnalysis)
   (obj_name taintAnalysis)
   (visibility public)
   (impl)
   (intf))))
(library
 (name pyrelib.taintIntegrationTest)
 (kind normal)
 (archives
  (byte taintIntegrationTest/taintIntegrationTest.cma)
  (native taintIntegrationTest/taintIntegrationTest.cmxa))
 (plugins
  (byte taintIntegrationTest/taintIntegrationTest.cma)
  (native taintIntegrationTest/taintIntegrationTest.cmxs))
 (native_archives taintIntegrationTest/taintIntegrationTest.a)
 (main_module_name TaintIntegrationTest)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name TaintIntegrationTest)
   (modules
    ((name Files)
     (obj_name taintIntegrationTest__Files)
     (visibility public)
     (impl)))
   (alias_module
    (name TaintIntegrationTest)
    (obj_name taintIntegrationTest)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.taintModelQuery)
 (kind normal)
 (archives
  (byte taintModelQuery/taintModelQuery.cma)
  (native taintModelQuery/taintModelQuery.cmxa))
 (plugins
  (byte taintModelQuery/taintModelQuery.cma)
  (native taintModelQuery/taintModelQuery.cmxs))
 (native_archives taintModelQuery/taintModelQuery.a)
 (requires
  core
  re2
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.taint
  pyrelib.analysis
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name TaintModelQuery)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name TaintModelQuery)
   (modules
    ((name ModelQuery)
     (obj_name taintModelQuery__ModelQuery)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name TaintModelQuery)
    (obj_name taintModelQuery)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name pyrelib.taintTestHelper)
 (kind normal)
 (archives
  (byte taintTestHelper/testHelper.cma)
  (native taintTestHelper/testHelper.cmxa))
 (plugins
  (byte taintTestHelper/testHelper.cma)
  (native taintTestHelper/testHelper.cmxs))
 (native_archives taintTestHelper/testHelper.a)
 (requires
  oUnit
  pyrelib.test
  pyrelib.ast
  pyrelib.analysis
  pyrelib.interprocedural
  pyrelib.taint
  pyrelib.taintModelQuery
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib)
 (main_module_name TestHelper)
 (modes byte native)
 (modules
  (singleton
   (name TestHelper)
   (obj_name testHelper)
   (visibility public)
   (impl))))
(library
 (name pyrelib.test)
 (kind normal)
 (archives (byte test/test.cma) (native test/test.cmxa))
 (plugins (byte test/test.cma) (native test/test.cmxs))
 (native_archives test/test.a)
 (requires
  oUnit
  pyrelib.service
  pyrelib.analysis
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Test)
 (modes byte native)
 (modules (singleton (name Test) (obj_name test) (visibility public) (impl))))
(library
 (name pyrelib.timer)
 (kind normal)
 (archives (byte timer/timer.cma) (native timer/timer.cmxa))
 (plugins (byte timer/timer.cma) (native timer/timer.cmxs))
 (native_archives timer/timer.a)
 (requires
  core
  core.time_stamp_counter
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Timer)
 (modes byte native)
 (modules
  (singleton (name Timer) (obj_name timer) (visibility public) (impl) (intf))))
(library
 (name pyrelib.type)
 (kind normal)
 (archives (byte type/type.cma) (native type/type.cmxa))
 (plugins (byte type/type.cma) (native type/type.cmxs))
 (native_archives type/type.a)
 (requires
  core
  sexplib
  yojson
  ppx_deriving_yojson
  ppx_deriving
  pyrelib.ast
  pyrelib.scheduler
  pyrelib.pyreParser
  pyrelib.recognized
  pyrelib.statistics
  pyrelib.preprocessing
  pyrelib.file
  ppx_sexp_conv.runtime-lib
  ppx_here.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Type)
 (modes byte native)
 (modules
  (singleton (name Type) (obj_name type) (visibility public) (impl) (intf))))
(library
 (name pyrelib.version)
 (kind normal)
 (archives (byte version/version.cma) (native version/version.cmxa))
 (plugins (byte version/version.cma) (native version/version.cmxs))
 (native_archives version/version.a)
 (requires
  pyrelib.log
  core
  ppx_sexp_conv.runtime-lib
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Version)
 (modes byte native)
 (modules
  (singleton
   (name Version)
   (obj_name version)
   (visibility public)
   (impl)
   (intf))))
