[김유준]

3번에서
module QueueMake (Arg: ArgTy): Queue with type element = ...
= struct ... end

라고 정의한다고 하셨는데 채점할때 Arg와 ArgTy는 어떻게 하시는지 궁금합니다.

저는 임의로 코드안에 type t를 가지는 ELEMTYPE 모듈타입을 설정해서 이것을 만족시켜야된다는 식으로 짜서

module Str = struct type t = string end;;
module StQ = QueueMake(Str);;

or

module Strr = struct type t = StQ end;;
module StQQ = QueueMake(Strr);;

이런식으로 했는데 생각해보니 type t라는이름은 제가 임의로정한이름이라 이래도 되는지모르겠습니다.

[강동옥]

ArgTy라는 시그니처를 만드실테니까

원하시는대로 해주셔도 됩니다.