创建由另一个自定义类型的元素列表组成的空自定义类型

type noeud = Lettre of (char * bool * arbre_lex)
and arbre_lex = noeud list

我可以轻松地创建 arbre_lex 包含 1个 noeud 元素:

# let a = [ Lettre ('c', true, []) ];;
val a : noeud list = [Lettre ('c', true, [])]

阿伯雷克斯 包含0的自定义类型 诺乌德 元素?

阿伯雷克斯 ...

# let b = [];;
val b : 'a list = []

以及 this 似乎不起作用:

# let c : arbre_lex = [];;
Error: Syntax error