[이경건]

natadd와 natmul은 int*int를 입력으로 받게 되는데요,

이것은 a b가 int라고 할 때

natadd a b
natmul a b

와 같이 사용할 수 있으면 되는 것인지, 아니면

natadd (a,b)
natmul (a,b)

와 같이 해야 하는지 궁금합니다. 사소하지만 테스트셋이 들어가는 타입에 대한 오해가 생길 수 있을 것 같습니다.

[이경건]

hw1_1에 대해서도 비슷한 질문을 드릴 수 있을 것 같습니다.

[김민석]

int * int → int
이므로
natadd (a,b)와 같이 사용됩니다.

natadd a b로 사용하려면
int → int → int 형으로 정의해야 합니다.

참고로 natadd와 natmul은 int*int→int가 아닌 nat*nat→nat입니다

[강동옥]

네, 정확히 타입에 맞게 pair를 받아야 합니다.