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 :
    (Stdlib.Lexing.lexbuf -> Promelaparser.token) ->
    Stdlib.Lexing.lexbuf -> Promelaast.parsed_automaton
end