如果我有一套特定的信号，例如我制定了一组closed_Switches。我可以获得一组open_switches（或所有未关闭的开关），如下所示
some x:Switch | x = (univ - closed_switches) => "and then imply something on x"
刚开始使用合金，这是解决这个问题的正确方法。
答案 0 :(得分：2)
如果您指的是所有打开的开关，请使用包含
的表达式Switch - closed_switches
你可以给一个名字：
let open_switches = Switch - closed_switches | ...stuff about open_switches...
如果您想使用一个打开的开关，那么类似：
some x : Switch - closed_switches | ...stuff about x...