[이현규]

자연수 nat 는 다음과 같이 정의될 수 있다:
type nat = ZERO | SUCC of nat

라고 적혀있는데요
그러면 두 자연수를 받는다는 게 숫자가 받아지기도 어렵고 오로지 ZERO나 ZERO가 SUCC되어 있는 것들만 들어오게 되는데
뭘 어떻게 해야 되는 건가요??

[서석준]

0 = ZERO
1 = SUCC(ZERO)
2 = SUCC(SUCC(ZERO))인듯?

[최민아]

서석준 학생의 답변이 맞습니다.