OCamlで型を返す

Question

2つのリストを追加しようとしましたが、型の使用を考えました。

type x = int list; 

let add (elem1 : int) (elem2 :int) = 
    elem1 + elem2;; 

let add2Lists (a : x) (b : x) = 
    List.map2 add a b;; 

驚いたことに、add2Listsはx - > x - > int listを返します。 intリストは本質的に型と同じですが、add2Listsを文字通りx型の値に評価する方法を教えてください。の種類に依存して、特定のタイプ（の彼らは（に評価し、実際に）返す関数が種類を返しませんが、参考までに値を

let add2Lists (a : x) (b : x) : x = 
    List.map2 add a b;; 

：

Answer 1

型制約を追加します。議論）。だから、あなたの質問は、 "を文字通りタイプxの値に評価するにはどうすればいいですか？"または、より正確には、「報告された結果タイプをadd2Listsにするには、どうすればxにするのですか？」