[이치민]

pair가 아닌 인자에 fst를 취하는데

무슨 의미인지 모르겠습니다.

pair가 아닌 인자에 fst나 snd를 할 때의 semantic을 정의해주신적도 없고

설령 ppt에 있는 semantic을 그대로 따라 한다고 해도

결과는 자연수가 아닌거 같습니다.

testset의 의미가 무엇인지요 잘못된 예제가 맞나요?

[조성근]

인자가 pair이어야 하는 것이 맞습니다. 죄송합니다.