- { T.Graph $2 }
- | decl level comment ID CN term
- { T.Entity ($1, $2, $4, $3, $6) }
- | def level comment ID EQ term
- { T.Entity ($1, $2, $4, $3, $6) }
- | def level comment ID EQ term CN term
- { T.Entity ($1, $2, $4, $3, T.Cast ($8, $6)) }
+ { T.Graph $2 }
+ | main decl level comment ID CN term
+ { T.Entity ($1, $2, $3, $5, $4, $7) }
+ | main def level comment ID EQ term
+ { T.Entity ($1, $2, $3, $5, $4, $7) }
+ | main def level comment ID EQ term CN term
+ { T.Entity ($1, $2, $3, $5, $4, T.Cast ($9, $7)) }