sig
type token =
PROMELA_OR
| PROMELA_AND
| PROMELA_NOT
| PROMELA_TRUE
| PROMELA_FALSE
| PROMELA_NEVER
| PROMELA_IF
| PROMELA_FI
| PROMELA_GOTO
| PROMELA_SKIP
| PROMELA_LABEL of string
| PROMELA_COLON
| PROMELA_SEMICOLON
| PROMELA_DOUBLE_COLON
| PROMELA_LBRACE
| PROMELA_RBRACE
| PROMELA_LPAREN
| PROMELA_RPAREN
| PROMELA_RIGHT_ARROW
| PROMELA_CALLOF of string
| PROMELA_RETURNOF of string
| PROMELA_CALLORRETURNOF of string
| EOF
val promela :
(Lexing.lexbuf -> Promelaparser.token) ->
Lexing.lexbuf -> Promelaast.parsed_automaton
end