util/set.lua
changeset 12990 895a82c5d8d4
parent 11792 1ceee8becb1a
child 13037 a863e4237b91
--- a/util/set.lua	Sun Mar 26 00:49:25 2023 +0100
+++ b/util/set.lua	Sun Mar 26 13:07:20 2023 +0200
@@ -189,6 +189,15 @@
 	return t_concat(s, ", ");
 end
 
+function set_mt.__freeze(set)
+	local s = {};
+	for item in pairs(set._items) do
+		s[#s + 1] = item;
+	end
+	return s;
+end
+
+
 return {
 	new = new;
 	is_set = is_set;