Module Promelaparser

module Promelaparser: sig .. end

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 -> token) ->
Lexing.lexbuf -> Promelaast.parsed_automaton