[손님]

함수외에 레코드에 대한 정의라든가 그런 것이 use를 쳤을때 같이 보이는건 상관없나요?
예를 들면 문제 6번의 경우에
type crazy2 = NIL | ZERO of crazy2 | ONE of crazy2 | MONE of crazy2
val crazy2val: crazy2 -> int = <fun>
val ZERO: crazy2 -> crazy2 = unbound value

이렇게 나오는 경우요

[최원태]

타입정의가 없으면 입력을 만들어낼 방법이 없겠죠