Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
EXPERIMENT: Cache
check_mod_type_wf
and check_well_formed
to see …
…if that resolves most of the performance regression
- Loading branch information