합금 세트 유니버설

Question

특정 시그널 세트가있는 경우 예 : closed_Switches 집합을 공식화합니다. 내가

some x:Switch | x = (univ - closed_switches) => "and then imply something on x" 

그냥 합금을 사용하기 시작 다음과 같은 open_switches (또는 폐쇄되지 않은 모든 스위치)의 세트를받을 수이이 문제를 접근하는 올바른 방법입니다.

Answer 1

열려있는 모든 스위치의 집합을 의미하는 경우가 포함 된 표현식을 사용 당신의 이름을 줄 수

Switch - closed_switches 

:

let open_switches = Switch - closed_switches | ...stuff about open_switches... 

하는 하나 개 열고 스위치를 작업 할 경우 다음과 같이 입력하십시오 :

some x : Switch - closed_switches | ...stuff about x...