Module Prom_parser


module Prom_parser: sig .. end


type token =
| EOF
| LE_OP
| GE_OP
| EQ_OP
| NE_OP
| AND_OP
| OR_OP
| TRUE
| FALSE
| IF
| ELSE
| WHILE
| RETURN
| ASSERT
| SIZE
| MESSAGE
| TKINT of string
| TKFLOAT of string
| STRING_LITERAL of string
| TKSEMICOLON
| TKLBRAKE
| TKRBRAKE
| TKEXCL
| TKLT
| TKGT
| TKASSIGN
| TKLPAR
| TKRPAR
| TKLBRACE
| TKRBRACE
| TKMINUS
| TKPLUS
| TKMULT
| TKDIV
| TKMOD
| TKIDENT of string
val pos : unit -> string
exception EndOfFile
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 statement_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Prom.stmt list