Использование объявлений внешнего типа с OCamlyacc

У меня есть тип expr в файле expr.ml. В parser.mly (файл OCamlyacc) я определяю правило expr и указываю тип:

    %start expr
    %type <expr> expr

Однако я получаю:

    File "parser.mli", line 34, characters 48-52:
    Error: Unbound type constructor expr

Я пробовал добавить

    %{
      open Expr
    %}

в начало файла .mly, но он все равно не работает Работа. Как я могу определить этот тип выражения во внешнем файле и использовать его в качестве возвращаемого значения моего правила? Спасибо.