OCaml的不接受的类型构造二叉树

Question

我想构建这样的事情

type ('a, 'b) btree = Empty | Node of ('a, 'b) * ('a, 'b) btree * ('a, 'b) btree 

，但它表示，约在第一个星号是语法错误。

Answer 1

类型一双貌似'a * 'b所以要这样：

type ('a, 'b) btree = 
    Empty | 
    Node of 'a * 'b * ('a, 'b) btree * ('a, 'b) btree 

或者可能是这样的：

type ('a, 'b) btree = 
    Empty | 
    Node of ('a * 'b) * ('a, 'b) btree * ('a, 'b) btree