Module Parser


module Parser: sig .. end


type token =
| VAR_IDENT of string
| CONST_IDENT of string
| NAT_IDENT of string
| ROLE
| INIT
| ACCEPT
| IKNOWLEDGE
| END
| LOCAL
| OWNS
| CONST
| CONS
| DELETE
| NEW
| TRANSITION
| GOAL
| LOOP
| AND
| PRIME
| UNDERSCORE
| IMPLIES
| OR
| LTL_op1
| LTL_op2
| LTL_op3
| LTL_op4
| LTL_op5
| AGENT
| CHANNEL
| PUBLIC_KEY
| TEXT
| MESSAGE
| HASH
| HASH_FUNC
| NAT
| PROTOCOL_ID
| BOOL
| SYMMETRIC_KEY
| IN
| NOT
| ACTION_ARROW
| REACTION_ARROW
| FUNCTION_ARROW
| L_PAR
| R_PAR
| L_BRACE
| R_BRACE
| COMMA
| COLON
| SEMI_COLON
| DOT
| DEF_EQUAL
| PLUS
| EQUAL
| ASSIGN
| LEQ
| NEQ
| PLAYED_BY
| COMPOSITION
| SECRECY_OF
| AUTHENTICATES
| AUTHENTICATION_ON
| WEAKLY
| WEAK_AUTHENTICATION_ON
| ON
| DY
| OTA
| SET
| INV
| START
val parse_error : 'a -> 'b
val newSetsInfo : (int * Types.term list) list Pervasives.ref
val newSetsInit : Types.predicate list Pervasives.ref
val newSetsDecl : Types.hlpsl_variable list Pervasives.ref
val line_number : unit -> string
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 specification : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.specification_class