# define tNULL -1
# define SPECIFICATION 260
# define BEHAVIOUR 261
# define ENDSPEC 262
# define WHERE 263
# define LIBRARY 264
# define ENDLIB 265
# define STYPE 266
# define IS 267
# define ENDTYPE 268
# define ACTUALIZEDBY 269
# define USING 270
# define RENAMEDBY 271
# define FORMALSORTS 272
# define FORMALOPNS 273
# define FORMALEQNS 274
# define SORTS 275
# define OPNS 276
# define EQNS 277
# define SORTNAMES 278
# define OPNNAMES 279
# define FOR 280
# define FORALL 281
# define ARROW 282
# define OFSORT 283
# define IMPLICATION 284
# define PROCESS 285
# define DEFINITION 286
# define ENDPROC 287
# define EXIT 288
# define NOEXIT 289
# define LET 290
# define IN 291
# define CHOICE 292
# define FAT_BAR 293
# define PAR 294
# define SYNCHRONIZATION 295
# define INTERLEAVING 296
# define LEFT_PAR 297
# define RIGHT_PAR 298
# define HIDE 299
# define ENABLE 300
# define ACCEPT 301
# define DISABLE 302
# define I 303
# define STOP 304
# define ANY 305
# define OF 306
# define IDENTIFIER 307
# define SPECIAL 308
# define EXCOMM 309
# define tspecification -2
# define tdata_type_definitions -3
# define tspecification_identifier -4
# define tformal_parameter_list -5
# define texecutable_comment_list -6
# define tdefinition_block -7
# define tlocal_definitions -8
# define tprocess_definition -9
# define ttype_definition -10
# define tlibrary_declaration -11
# define ttype_identifier -12
# define tp_expression -13
# define ttype_union -14
# define tp_specification -15
# define treplacement -16
# define tformal_sorts -17
# define tformal_operations -18
# define tformal_equations -19
# define tsorts -20
# define toperations -21
# define tequations -22
# define tsort_pair_list -23
# define toperation_pair_list -24
# define tsort_pair -25
# define toperation_pair -26
# define tsort_identifier -27
# define toperation_identifier -28
# define toperation -29
# define tidentifier_declarations -30
# define tequation_lists -31
# define tsort_id_comm -32
# define tdescriptor_list -33
# define targument_list -34
# define toperation_descriptor -35
# define tequation_list -36
# define teqn_list -37
# define tequation -38
# define tsimple_equation -39
# define tpremisses -40
# define timplicit_true -41
# define tvalue_expression -42
# define tprocess_identifier -43
# define tgate_parameter_list -44
# define tvalue_parameter_list -45
# define tfunctionality_list -46
# define tgate_declaration_list -47
# define texit_list -48
# define tlocal_definition_expression -49
# define tsum_expression -50
# define tpar_expression -51
# define thiding_expression -52
# define tidentifier_equations -53
# define tidentifier_equation -54
# define tidentifier_declaration -55
# define tgate_declarations -56
# define tparallel_operator -57
# define tgate_list -58
# define tenable_expression -59
# define tenable_operator -60
# define tdisable_expression -61
# define tparallel_expression -62
# define tchoice_expression -63
# define tguarded_expression -64
# define taction_prefix_expression -65
# define tatomic_expression -66
# define tprocess_instantiation -67
# define taction_denotation -68
# define tgate_identifier -69
# define texperiment_offer_list -70
# define tselection_predicate -71
# define texperiment_offer -72
# define tidentifier_declaration_list -73
# define texit_entry_list -74
# define tactual_gate_list -75
# define tvalue_expression_list -76
# define tterm_expression -77
# define tgate_declaration -78
# define tidentifier -79
# define texcomm -80
