%token TYPE PROP DEF EB E PN EXIT
%start book
- %type <Aut.item list> book
+ %type <Aut.unit list> book
%%
path: MINUS {} | FS {} ;
oftype: CN {} | CM {} ;
| term { [$1] }
| term CM terms { $1 :: $3 }
;
- item:
+ unit:
| 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:
+ units:
| { [] }
- | item items { $1 :: $2 }
+ | unit units { $1 :: $2 }
;
book:
- | items eof { $1 }
+ | units eof { $1 }
;