| changeset 77726 | 6ae930c89143 |
| parent 77699 | d5060a919b3f |
| child 77783 | fb61887c069a |
--- a/NEWS Mon Mar 27 22:11:26 2023 +0200 +++ b/NEWS Mon Mar 27 22:17:50 2023 +0200 @@ -280,6 +280,10 @@ *** ML *** +* Functor Set() provides more compact representation of sets than +previous Table().set = unit table. See also instances such as structure +Intset, Symset, Termset. + * 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