Rewrote the caches introduce for the hashconsing of types#203
Merged
jurgenvinju merged 6 commits intomainfrom faster-hot-entries-hashconsSep 20, 2023
+139-36
Commits
Commits on Sep 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
