Characteristic predicate TypeInference::AnalyzedModule::AnalyzedModule

AnalyzedModule()