syntax - F＃フォワード型宣言

Question

私はF＃でこの問題に遭遇しました。相互に参照する2つのタイプを宣言したいとします。

type firstType = 
     | T1 of secondType
     //................

type secondType =
     | T1 of firstType  
     //................    

コンパイラがエラーを生成しないようにするにはどうすればよいですか？

Answer 1

'と'を使用します：

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

私はそれを理解しました。これは：

type firstType = 
     | T1 of secondType
     //................

and secondType =
     | T1 of firstType  
     //................   

Answer 3

制限は、タイプを同じファイルで宣言する必要があることです。