# HG changeset patch
# User wenzelm
# Date 1681128828 -7200
# Node ID e7cf427f8b2aaaf6ae9889e74a23284277c05f03
# Parent  9a30b76a6f60368742d9e43dde2a97cae3ad93a7
NEWS;

diff -r 9a30b76a6f60 -r e7cf427f8b2a NEWS
--- a/NEWS	Mon Apr 10 13:43:11 2023 +0200
+++ b/NEWS	Mon Apr 10 14:13:48 2023 +0200
@@ -284,6 +284,9 @@
 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.
+
 * Operations ML_Heap.sizeof1 and ML_Heap.sizeof determine the object
 size on the heap in bytes. The latter works simultaneously on multiple
 objects, taking implicit sharing of values into account. Examples for