[신희제]

• 각 파일에는 모듈 타입의 정의와 모듈의 구현 부분이 들어가있게 해주세요.
  
• 모듈 이름은 각각 Lam과 Debru입니다.
  
• 예를 들어 4-1.ml 파일에는
  

  코드:

  module type LAM =   type debru =       N of int     | L of debru     | A of debru * debru   val reduce : debru -> debru   val pp : debru -> unit end module Lam : LAM = struct   type lam = ...   let reduce = ...   let pp = ... end

  
  과 같은 코드가 들어가게 됩니다.
  
• 3번 과제 파일에는 1,2과제의 파일 전체 내용과 (즉 module type LAM, module Lam, module type DEBRU, module Debru) TRANS라는 모듈타입의 정의와 Trans라는 모듈의 구현을 포함시켜 주세요.
  
• 3번 과제의 형태는 다음과 같습니다. 4-3.ml을 열면
  

  코드:

  module type LAM = sig ... end module Lam = struct ... end module type DEBRU = sig ... end module Debru = struct ... end module type TRANS = sig   type lam    type debru   val transl2d: lam -> debru   val transd2l: debru -> lam end module Trans (Lam: LAM) (Debru: DEBRU) : TRANS with ... = struct   ... end

  
  위와 같은 코드를 볼 수 있도록 해주세요.