package lutin
-
lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Syntaxe.package