lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LutParser
type token =
| TK_EOF
| TK_ERROR of Lexeme.t
| TK_IDENT of Lexeme.t
| TK_STRING of Lexeme.t
| TK_LET of Lexeme.t
| TK_IN of Lexeme.t
| TK_EXTERN of Lexeme.t
| TK_NODE of Lexeme.t
| TK_SYSTEM of Lexeme.t
| TK_RETURNS of Lexeme.t
| TK_EXIST of Lexeme.t
| TK_RUN of Lexeme.t
| TK_ERUN of Lexeme.t
| TK_WEAK of Lexeme.t
| TK_STRONG of Lexeme.t
| TK_ASSERT of Lexeme.t
| TK_RAISE of Lexeme.t
| TK_TRY of Lexeme.t
| TK_CATCH of Lexeme.t
| TK_TRAP of Lexeme.t
| TK_PARA of Lexeme.t
| TK_DO of Lexeme.t
| TK_FBY of Lexeme.t
| TK_LOOP of Lexeme.t
| TK_TYPE of Lexeme.t
| TK_BOOL of Lexeme.t
| TK_INT of Lexeme.t
| TK_REAL of Lexeme.t
| TK_TRACE of Lexeme.t
| TK_REF of Lexeme.t
| TK_EXCEPTION of Lexeme.t
| TK_INCLUDE of Lexeme.t
| TK_PRE of Lexeme.t
| TK_FALSE of Lexeme.t
| TK_TRUE of Lexeme.t
| TK_RCONST of Lexeme.t
| TK_ICONST of Lexeme.t
| TK_EQ of Lexeme.t
| TK_NEQ of Lexeme.t
| TK_BARSUP of Lexeme.t
| TK_PLUS of Lexeme.t
| TK_MINUS of Lexeme.t
| TK_TIMES of Lexeme.t
| TK_SLASH of Lexeme.t
| TK_DIV of Lexeme.t
| TK_MOD of Lexeme.t
| TK_LT of Lexeme.t
| TK_LTE of Lexeme.t
| TK_GT of Lexeme.t
| TK_GTE of Lexeme.t
| TK_BAR of Lexeme.t
| TK_DOT of Lexeme.t
| TK_COMA of Lexeme.t
| TK_SEMICOL of Lexeme.t
| TK_COLON of Lexeme.t
| TK_TILDA of Lexeme.t
| TK_OPEN_BRACE of Lexeme.t
| TK_CLOSE_BRACE of Lexeme.t
| TK_OPEN_BRACKET of Lexeme.t
| TK_CLOSE_BRACKET of Lexeme.t
| TK_OPEN_PAR of Lexeme.t
| TK_CLOSE_PAR of Lexeme.t
| TK_NOT of Lexeme.t
| TK_OR of Lexeme.t
| TK_XOR of Lexeme.t
| TK_NOR of Lexeme.t
| TK_DIESE of Lexeme.t
| TK_AND of Lexeme.t
| TK_IMPL of Lexeme.t
| TK_ASSIGN of Lexeme.t
| TK_ARROW of Lexeme.t
| TK_IF of Lexeme.t
| TK_THEN of Lexeme.t
| TK_ELSE of Lexeme.t
val lutFileTop : ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> Syntaxe.package