types - ocaml型コンストラクター引数

Question

私はAVLツリーをそのように定義しました。'a->'a->intが比較関数です。

type 'a t = Empty of ('a -> 'a -> int)
  | Node of 'a * 'a t * 'a t * ('a -> 'a -> int)

この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)