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