Делаю parser.mly. В нем надо явно задать тип для стартового слова грамматики.
Почти что методом тыка сообразил что если мне нужно в итоге получить список кодов, то надо писать:

Где Types.code это


ocamlyacc выдает .mli в котором:

Но что-то я не улавливаю смысла этого интерфейса. Что он конкретно объявляет? И как это работает?

Почему в %type надо обязательно указывать тип элементов для списка? Почему нельзя просто нетипизированный список сделать?
Вообще, меня очень смущает, почему это вдруг вот в этом конкретном месте у OCaml'а возник запрет на угадывание типов? Во всех остальных местах он сам решает какой тип данных лежит, а вот тут ему вдруг надо конкретно указывать?!