Add persistent (duplicable) variants of GhostSubmap/GhostSubset#2019

Merged

bsdinis merged 3 commits intomainfrom

Dec 1, 2025

Commits on Nov 30, 2025

ghost_map: extend resource algebra to allow for duplicable maps
bsdinis
committed
ghost_map: add persistent, duplicable variants of `GhostSubmap` and `GhostPointsTo`
bsdinis
committed
ghost_set: add persistent, duplicable variants of `GhostSubset` and `GhostSingleton`
bsdinis
committed