[서석준]

29 module StringSetQQ: Queue with type element = StringSetQ.queue =
30 struct
31 type element = StringSetQ.queue

원래 이렇게 작동해야 하는데 이렇게 하면 제가짠 enque가 타입매치 애러가 납니다.
Values do not match:
val enq :
(('a list * 'a list) list * ('a list * 'a list) list) *
('a list * 'a list) ->
('a list * 'a list) list * ('a list * 'a list) list
is not included in
val enq : queue * element -> queue

그런데 제가 이걸

29 module StringSetQQ: Queue with type element = string list * string list =
30 struct
31 type element = string list * string list
로 바꾸면 매우 잘 돌아갑니다....;;

컴파일러가 ('a list * 'a list)를 queue로 이해 못해서 생기는 문제인 것 같은데 도저히 해결책이 보이지가 않습니다 ㅜㅡㅜ

[최민아]

let enq ((qu:queue), (el:element)) = ...
let deq (qu:queue) = ...

식으로 타입을 적어주시면 해결될 거예요.