Addresses in TASTY file of symbols, stored by pickling.
Addresses in TASTY file of symbols, stored by pickling.
Note that trees are checked for reference equality,
so one can reliably use this function only dirrectly after pickler
Addresses in TASTY file of trees, stored by pickling.
Addresses in TASTY file of trees, stored by pickling.
Note that trees are checked for reference equality,
so one can reliably use this function only directly after pickler
.
Note that a tree can have several addresses, if it is shared,
i.e. accessible from different paths. Any such sharing is undone by pickling.