提取集合中具有特定属性（与特定值有关）的所有元素

Question

我正在尝试编写Alloy函数来检索与该函数的参数有关的某种类型的所有元素（让我说，它们的“字段/属性”之一具有该值）。我已经尝试了各种方式，但都无济于事。

有点像

fun get[a:A] : set X{
    (x.name :> a)
}

但是这会返回一组A，而我想要一组X

Answer 1

您可以更简单地执行此操作：

name.a

Answer 2

此方法有效，希望对某人有用：