如何在OCaml中定義兩個相互連接的模塊？

Question

我知道，我們可以定義兩種類型的連接對方，例如：

type a = 
    | CC of b 

and b = 
    | CD of a 

有誰知道怎麼做同樣的事情兩個模塊？

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。有一點不幸，你必須寫兩次類型聲明。

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