Module Libelectrod.Smv_trace_tokensSource

Sourcetype token =
  1. | TRUE
  2. | STATE
  3. | LOOP
  4. | FALSE
  5. | EQUAL
  6. | EOF
  7. | ATOMIC of Name.t * Tuple.t