OCamlで互いにリンクしている2つのモジュールを定義するには？

Question

私たちは、たとえば、互いを結ぶ二つのタイプを定義することができることを知っている：

type a = 
    | CC of b 

and b = 
    | CD of a 

は、2つのモジュールのために同じことを行う方法を誰もが知っていますか？

module A = struct 
    type t = | CC of B.t 
end 

?and? B = struct 
    type t = | CD of A.t 
end 

Answer 1

OCamlではrecursive modulesと呼ばれています。型宣言を2回書く必要があるのはちょっと残念です。

module rec A: sig 
    type t = | CC of B.t 
end = 
struct 
    type t = | CC of B.t 
end 

and B: sig 
    type t = | CD of A.t 
end = 
struct 
    type t = | CD of A.t 
end