Deduplicate item maps in the various environments#406

Merged

Nadrieril merged 1 commit intoAeneasVerif:mainfrom Nadrieril:use-crate-in-envs

Dec 30, 2024

+85-342

Commits on Dec 30, 2024

Use crate in envs instead of separate per-item maps
Nadrieril
committed