Module Promelaparser_withexps


module Promelaparser_withexps: 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_INT of string
| PROMELA_COLON
| PROMELA_SEMICOLON
| PROMELA_DOUBLE_COLON
| PROMELA_LBRACE
| PROMELA_RBRACE
| PROMELA_LPAREN
| PROMELA_RPAREN
| PROMELA_RIGHT_ARROW
| PROMELA_EQ
| PROMELA_LT
| PROMELA_GT
| PROMELA_LE
| PROMELA_GE
| PROMELA_NEQ
| PROMELA_PLUS
| PROMELA_MINUS
| PROMELA_DIV
| PROMELA_STAR
| PROMELA_MODULO
| PROMELA_DOT
| PROMELA_LEFT_SQUARE
| PROMELA_RIGHT_SQUARE
| PROMELA_CALLOF of string
| PROMELA_RETURNOF of string
| PROMELA_CALLORRETURNOF of string
| EOF
| PROMELA_FUNC
val observed_states : (string, Promelaast.state) Hashtbl.t
val to_seq : Promelaast.condition -> Promelaast.seq_elt list
val yytransl_const : int array
val yytransl_block : int array
val yylhs : string
val yylen : string
val yydefred : string
val yydgoto : string
val yysindex : string
val yyrindex : string
val yygindex : string
val yytablesize : int
val yytable : string
val yycheck : string
val yynames_const : string
val yynames_block : string
val yyact : (Parsing.parser_env -> Obj.t) array
val yytables : Parsing.parse_tables
val promela : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> Promelaast.parsed_automaton