[최민아]

3번 문제 끝부분에 예제로

A : 최소한 ({1,2}하고 common(B,C))를 받아야.
...

등이 나와있는데요.

저기서 {1,2} 와 common(B,C)를 모두 받아야 한다는 의미인데, 위에 정의된 cond type에 보면 이를 나타낼 수 있는 방법이 없는 것 같습니다.

cond는 선물 리스트이거나 어느 조카의 선물들이거나 두 조건의 공통된 선물들이거나 조건에서 어느 선물들을 뺀 것으로만 정의되기 때문에 저런 조건은 표시할 방법이 없을 것 같은데 그냥 type 정의된대로 이해하면 되나요?

아니면 제가 잘못 이해하고 있는 것인지 궁금합니다~

[최종욱]

cond 는 일종의 단문이기 때문에 말씀하신 것처럼 복문(여러 cond의 and, or 등)은 안되지만, 문제에 보면