electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
type token =
| TRUE
| STATE
| LOOP
| FALSE
| EQUAL
| EOF
| ATOMIC of Name.t * Tuple.t