Определить (без назначения) переменную пользовательского типа

Question

У меня определены следующие два пользовательских типа:

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, [])]

Теперь, как я могу создать пользовательский тип arbre_lex, который состоит из 0 noeud элементов?

Это просто создает пустой список, но этоне типа arbre_lex ...

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

и этот не работает:

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

Answer 1

Обновление: я не знаю, что случилось, но я как-то сделал что-то не так.Правильный путь действительно таков:

# let d : arbre_lex = [];;
val d : arbre_lex = []