let yytransl_const = [|
260 (* ROLE *);
261 (* INIT *);
262 (* ACCEPT *);
263 (* IKNOWLEDGE *);
264 (* END *);
265 (* LOCAL *);
266 (* OWNS *);
267 (* CONST *);
268 (* CONS *);
269 (* DELETE *);
270 (* NEW *);
271 (* TRANSITION *);
272 (* GOAL *);
273 (* LOOP *);
274 (* AND *);
275 (* PRIME *);
276 (* UNDERSCORE *);
277 (* IMPLIES *);
278 (* OR *);
279 (* LTL_op1 *);
280 (* LTL_op2 *);
281 (* LTL_op3 *);
282 (* LTL_op4 *);
283 (* LTL_op5 *);
284 (* AGENT *);
285 (* CHANNEL *);
286 (* PUBLIC_KEY *);
287 (* TEXT *);
288 (* MESSAGE *);
289 (* HASH *);
290 (* HASH_FUNC *);
291 (* NAT *);
292 (* PROTOCOL_ID *);
293 (* BOOL *);
294 (* SYMMETRIC_KEY *);
295 (* IN *);
296 (* NOT *);
297 (* ACTION_ARROW *);
298 (* REACTION_ARROW *);
299 (* FUNCTION_ARROW *);
300 (* L_PAR *);
301 (* R_PAR *);
302 (* L_BRACE *);
303 (* R_BRACE *);
304 (* COMMA *);
305 (* COLON *);
306 (* SEMI_COLON *);
307 (* DOT *);
308 (* DEF_EQUAL *);
309 (* PLUS *);
310 (* EQUAL *);
311 (* ASSIGN *);
312 (* LEQ *);
313 (* NEQ *);
314 (* PLAYED_BY *);
315 (* COMPOSITION *);
316 (* SECRECY_OF *);
317 (* AUTHENTICATES *);
318 (* AUTHENTICATION_ON *);
319 (* WEAKLY *);
320 (* WEAK_AUTHENTICATION_ON *);
321 (* ON *);
322 (* DY *);
323 (* OTA *);
324 (* SET *);
325 (* INV *);
326 (* START *);
0|]