如何从set - PlusCal中获取特定元素

Question

例如，给定集合{1、2、4、10、6}，如何才能将元素4转换为变量var。我想要的是从集合中获取元素"4“到变量var: var =4，并从set: set = {1，2，10，6}中删除元素4。

Answer 1

根据这些评论，听起来您想要这样：

with x \in set do
   var := x;
   set := set \ {x};
end with;