Lazier Binary Decision Diagrams (BDDs) for set-theoretic types

This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them.