Объявления прямого типа F#

Question

Я наткнулся на эту проблему в F #.Предположим, я хочу объявить два типа, которые ссылаются друг на друга:

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

Ограничение состоит в том, что типы должны быть объявлены в одном файле.