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 observed_states : (string, Promelaast.state) Hashtbl.t
val observed_vars : (string, string) Hashtbl.t
val observed_funcs : (string, string) Hashtbl.t
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.buchautomata * (string, string) Hashtbl.t *
(string, string) Hashtbl.t