F Tipo de declaraciones hacia adelante

Question

Me encontré con este problema en C #. Supongo, quiero declarar dos tipos que hacen referencia entre sí:

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

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

¿Cómo hago eso, por lo que el compilador no genera un error?

Answer 1

Se utiliza 'y':

type firstType = 
     | T1 of secondType

and secondType =
     | T1 of firstType

Answer 2

pensé que. Es:

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

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

Answer 3

La limitación es que los tipos que se han declarado en el mismo archivo.