Menhir test grammar (also works with yacc)

test.mly

%token ID
%token DOT
%token DOTDOT
%token EOF

%start prog
%type <Prog> prog

%nonassoc DOTDOT
%nonassoc DOT

%%

prog : expr EOF {};

expr
: DOTDOT
| expr DOT ID
| ID
{}
;