F # dichiarazioni di tipo forward

Question

mi sono imbattuto in questo problema in F #. Supponiamo, voglio dichiarare due tipi che fanno riferimento l'un l'altro:

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

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

Come faccio a farlo, in modo che il compilatore non genera un errore?

Answer 1

Si utilizza 'e':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

ho capito. E ':

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

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

Answer 3

La limitazione è che i tipi devono essere dichiarate nello stesso file.