From fbfc3a1781b3c5c267067727f8d9e8252a676cf7 Mon Sep 17 00:00:00 2001
From: Christopher Allen Modifications to collection type definitions
to explain their observable effects on garbage collection, rather than
specifying operationally that non-live keys or members are deleted.
- Open questions remain under discussion about the relationship between when - elements are collected in WeakMaps, WeakSets and WeakRefs, e.g., - what guarantees are made about timing, c.f. - #121 (comment). -