Source file Smv_trace_tokens.ml

type token = 
  | TRUE
  | STATE
  | LOOP
  | FALSE
  | EQUAL
  | EOF
  | ATOMIC of (Name.t * Tuple.t)