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