%token TYPE PROP DEF EB E PN EXIT
%start book
- %type <Aut.item list> book
+ %type <Aut.entity list> book
%%
path: MINUS {} | FS {} ;
oftype: CN {} | CM {} ;
| term { [$1] }
| term CM terms { $1 :: $3 }
;
- item:
+ entity:
| PLUS IDENT { A.Section (Some (true, $2)) }
| PLUS TIMES IDENT { A.Section (Some (false, $3)) }
| MINUS IDENT { A.Section None }
| IDENT DEF expand term sc term { A.Def ($1, $6, $3, $4) }
| IDENT sc term DEF expand term { A.Def ($1, $3, $5, $6) }
;
- items:
- | { [] }
- | item items { $1 :: $2 }
+ entities:
+ | { [] }
+ | entity entities { $1 :: $2 }
;
book:
- | items eof { $1 }
+ | entities eof { $1 }
;