# HG changeset patch
# User wenzelm
# Date 1681161064 -7200
# Node ID 8ee97b3841cc4ba7938c9fb1ccf29148dec1b191
# Parent  b43ee37926a9413c603f417c94980ad0e9648237
clarified NEWS;

diff -r b43ee37926a9 -r 8ee97b3841cc NEWS
--- a/NEWS	Mon Apr 10 22:38:18 2023 +0200
+++ b/NEWS	Mon Apr 10 23:11:04 2023 +0200
@@ -280,12 +280,17 @@
 
 *** ML ***
 
-* Functor Set() provides more compact representation of sets than
-previous Table().set = unit table. See also instances such as structure
-Intset, Symset, Termset.
-
-* Functors Table() and Set() now provide efficient operation "size" with
-constant time complexity.
+* Improved implementations and signatures of functor Table() and
+corresponding functor Set().
+
+  - Specific Set().T supersedes Table().set = unit table, with concrete
+    instances Intset, Symset, Termset etc.
+
+  - Data representation is more compact than before, approx. 85% .. 110%
+    of a plain list (e.g. see structure AList or Ord_List, respectively).
+
+  - The new "size" operation works with constant time complexity and
+    minimal space overhead: small structures have no size descriptor.
 
 * Operations ML_Heap.sizeof1 and ML_Heap.sizeof determine the object
 size on the heap in bytes. The latter works simultaneously on multiple