package electrod

You can search for identifiers within the package.

in-package search v0.2.0

Source file `Smv_trace_tokens.ml`

1
2
3
4
5
6
7
8
9

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