# 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.