[강인재]

안녕하세요. 과제 6-4번 질문드립니다.

1. type environment는 뼈대코드에 정의되어 있지 않은 것 같은데, 직접 정의해서 사용하면 되나요?

2. simple_checker.ml 내의 다음 코드

[로파스]

1. 네 원하는 타입으로 자유롭게 구현하시면 됩니다.

2. 보충스펙에 나와있듯이 자유롭게 편집해서 사용하시면 됩니다.

-조교 드림.