mangle_analysis

此包是Mangle逻辑编程语言的一部分。它包含与语义分析（名称解析、类型推理和类型检查）相关的代码。

有关Mangle的更多信息，请参阅https://github.com/google/mangle。