let yytransl_const = [|
257 (* LTL_TRUE *);
258 (* LTL_FALSE *);
259 (* LTL_LPAREN *);
260 (* LTL_RPAREN *);
261 (* LTL_OR *);
262 (* LTL_IMPLIES *);
263 (* LTL_LEFT_RIGHT_ARROW *);
264 (* LTL_AND *);
265 (* LTL_NOT *);
266 (* LTL_GLOBALLY *);
267 (* LTL_FATALLY *);
268 (* LTL_UNTIL *);
269 (* LTL_RELEASE *);
270 (* LTL_NEXT *);
271 (* LTL_EQ *);
272 (* LTL_LT *);
273 (* LTL_GT *);
274 (* LTL_LE *);
275 (* LTL_GE *);
276 (* LTL_NEQ *);
277 (* LTL_PLUS *);
278 (* LTL_MINUS *);
279 (* LTL_DIV *);
280 (* LTL_STAR *);
281 (* LTL_MODULO *);
282 (* LTL_RIGHT_ARROW *);
283 (* LTL_DOT *);
284 (* LTL_LEFT_SQUARE *);
285 (* LTL_RIGHT_SQUARE *);
286 (* LTL_ADRESSE *);
287 (* LTL_CALL *);
288 (* LTL_RETURN *);
289 (* LTL_CALL_OR_RETURN *);
0 (* EOF *);
0|]