Speed up requiring large machine-generated theories - #1118

Open

bgregoir wants to merge 2 commits into

mainfrom

Commits on Sep 7, 2026

[section] skip the global dependency walk outside sections

authored and
strub
committed
0ebf08a
[unify] build the expected type once per overloading query

authored and
strub
committed
006ddb5