相关疑难解决方法(0)

我偶然发现了F#中的这个问题.假设,我想声明两种相互引用的类型:

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

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

我该怎么做,所以编译器不会生成错误？

下面的代码将报告语法错误消息:

type 'a edge = 
  |Empty 
  |End of 'a * 'a vertex * 'a vertex and
type 'a vertex = 
  |Empty
  |Vertex of 'a * 'a edge list;;

如何定义两种相互引用的类型？