Lazy BDDs with eager literal differences

T1Covered by 1 source · first reported by Language blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++ at 19 Mar, 00:00 UTC

This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.

dev

Sources

• T1Lazy BDDs with eager literal differencesLanguage blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++19 Mar, 00:00