type symbol = symbol*symbol;;
Error: The type abbreviation symbol is cyclic
我们如何写这个，即（1）或（1,2）或（1,2,3）......将是OCaml中的一个类型？
答案 0 :(得分：2)
确实没有像你要求的那样可用的类型。如果您的值都是整数，那么您描述的内容基本上就是一个整数列表。
答案 1 :(得分：0)
您可以定义的最接近的类型是只有一个构造函数的变体：
type symbol = S of (symbol * symbol)