electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Parser
type token =
| VAR
| UNTIL
| UNSAT
| UNIV
| TRUE
| TRIGGERED
| TILDE
| THEN
| SYM
| SUB
| STAR
| SOME
| SINCE
| SEMI
| SAT
| RUN
| RPROJ
| RPAREN
| RELEASES
| RBRACKET
| RBRACE
| PRIME
| PLUS
| PLAIN_ID of string
| OVERRIDE
| OR
| ONE
| ONCE
| NUMBER of int
| NOT_IN
| NOT
| NONE
| NO
| NEQ
| NEG
| MINUS
| LTE
| LT
| LPROJ
| LPAREN
| LONE
| LET
| LBRACKET
| LBRACE
| INVARIANT
| INTER
| INST
| IN
| IMPLIES
| IFF
| IDX_ID of string
| IDEN
| HISTORICALLY
| HAT
| HASH
| GTE
| GT
| FALSE
| EXPECT
| EVENTUALLY
| EQ
| EOF
| ELSE
| DOTDOT
| DOT
| DISJ
| CONST
| COMMA
| COLON_ARITY of int
| COLON
| BEFORE
| BAR
| ARROW
| AND
| ALWAYS
| ALL
| AFTER
| ADD
exception Error
val parse_problem : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Raw.raw_urelements list * Raw.raw_declaration list * Raw.raw_paragraph list