Remembers which source pointers were already copied, so shared and cyclic data is copied once.
Pass one to several Deep_Copy calls to keep that sharing across them.
Fields
- table: Table(*void, *void)
Jacket
/
Jacket
Remembers which source pointers were already copied, so shared and cyclic data is copied once.
Pass one to several Deep_Copy calls to keep that sharing across them.