если у меня есть набор определенных знаков, например. Я формулирую набор закрытых_переключателей. Могу ли я получить набор open_switches (или все незамкнутые переключатели) следующим образом
some x:Switch | x = (univ - closed_switches) => "and then imply something on x"
Только начал использовать сплав, это правильный подход к этой проблеме.