mangle_analysis

This package is part of the Mangle logic programming language. It contains code related to semantic analysis (name resolution, type inference and type-checking).

See https://github.com/google/mangle for more information about Mangle.