%token TYPE PROP DEF EB E PN EXIT
%start book
- %type <Aut.book> book
+ %type <Aut.item list> book
%%
path: MINUS {} | FS {} ;
oftype: CN {} | CM {} ;
| IDENT path idents { $1 :: $3 }
;
qid:
- | IDENT { ($1, false, []) }
- | IDENT QT QT { ($1, false, []) }
+ | IDENT { ($1, true, []) }
+ | IDENT QT QT { ($1, true, []) }
| IDENT QT local idents QT { ($1, $3, $4) }
;
term: