Closed EduardoRFS closed 11 months ago
Prepare for alias consumption.
Currently all the aliases are piped down by with_unify_context, this is hackish but also makes quite hard to properly consume aliases which is needed to ensure decidability of checking.
Goals
Prepare for alias consumption.
Context
Currently all the aliases are piped down by with_unify_context, this is hackish but also makes quite hard to properly consume aliases which is needed to ensure decidability of checking.
Related
199