[v2] Cache type derived data#1816

ggiraldez wants to merge 2 commits into

ggiraldez/v2-cache-linearisationsNomicFoundation/slang:ggiraldez/v2-cache-linearisationsfrom

ggiraldez/v2-cache-type-dataNomicFoundation/slang:ggiraldez/v2-cache-type-dataCopy head branch name to clipboard