OCaml의 타입 생성자 인자

Question

나는 '>는'와,와 같은 AVL 트리를 정의 별도의 모듈로

type 'a t = Queue of (Avl.t * int) 

하지만 컴파일 할 때이 오류가 얻을 :

Error: The type constructor Avl.t expects 1 argument(s), 
    but is here applied to 0 argument(s) 

가 얘기하고 어떤 구문이 대기열 유형에 있어야입니다 무엇 인수를?

Answer 1

AVL 트리는 노드 유형 ('a)에 의해 매개 변수화됩니다. 그래서 당신은 말할 수 있어야합니다

type 'a t = Queue of ('a Avl.t * int)