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://codeberg.org/TauCeti/mangle-rs for more information about Mangle.