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