open "process_h";
datatype   spi_value = 
  spinone of unit
| st of spi_term
| stl of spi_term list
| sf of spi_fact
| sp of located_process
| spl of located_process list
| sd of spi_declaration
| sdl of spi_declaration list
| scase of (spi_term * located_process -> located_process)
| spi of spi_program
| string of string
| sb of bool
;
val identifier = 258
val VAR = 259
val kw_slash = 260
val kw_open_paren = 261
val kw_close_paren = 262
val kw_open_bracket = 263
val kw_close_bracket = 264
val kw_open_curly = 265
val kw_close_curly = 266
val kw_comma = 267
val kw_semicolon = 268
val kw_period = 269
val kw_equal = 270
val kw_different = 271
val kw_bang = 272
val kw_zero = 273
val kw_new = 274
val kw_if = 275
val kw_of = 276
val kw_then = 277
val kw_else = 278
val kw_in = 279
val kw_out = 280
val kw_let = 281
val kw_case = 282
val kw_par = 283
val kw_event = 284
val kw_proc = 285
val kw_implies = 286
val kw_any = 287
val kw_data = 288
val kw_fun = 289
val kw_private = 290
val kw_and = 291
val kw_eof = 292