Description
As part of the optimizations to perform, we should introduce some form of hash-consing at various levels (environments, states, etc) to reduce memory usage. We should also provide an efficient tree-based map (and possibly a set too) that is optimized for being used in fixpoints (e.g., with structural sharing).
Description
As part of the optimizations to perform, we should introduce some form of hash-consing at various levels (environments, states, etc) to reduce memory usage. We should also provide an efficient tree-based map (and possibly a set too) that is optimized for being used in fixpoints (e.g., with structural sharing).