[박남용]

nml에서

Exercise 5번의

type nat = ZERO | SUCC of nat

을 정의해주면

val ZERO: nat = unbound value

이렇게 나오는데요

실제로 함수를 정의하고 사용하는데 있어서 별 문제는 없는 것 같은데

위와 같은 메시지가 나오는 이유 아시는 분 계신가요?

(ZERO를 다른 이름으로 변경한 경우에는 위와 같은 메시지가 나오지 않습니다.)