let rec token lexbuf =
    __ocaml_lex_token_rec lexbuf 0
and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 78 "src/aorai/ltllexer.mll"
                            ( LTL_TRUE )
# 947 "src/aorai/ltllexer.ml"

  | 1 ->
# 79 "src/aorai/ltllexer.mll"
                            ( LTL_FALSE )
# 952 "src/aorai/ltllexer.ml"

  | 2 ->
# 80 "src/aorai/ltllexer.mll"
                            ( LTL_LPAREN )
# 957 "src/aorai/ltllexer.ml"

  | 3 ->
# 81 "src/aorai/ltllexer.mll"
                            ( LTL_RPAREN )
# 962 "src/aorai/ltllexer.ml"

  | 4 ->
# 84 "src/aorai/ltllexer.mll"
                            ( LTL_IMPLIES )
# 967 "src/aorai/ltllexer.ml"

  | 5 ->
# 85 "src/aorai/ltllexer.mll"
                            ( LTL_LEFT_RIGHT_ARROW )
# 972 "src/aorai/ltllexer.ml"

  | 6 ->
# 86 "src/aorai/ltllexer.mll"
                            ( LTL_OR )
# 977 "src/aorai/ltllexer.ml"

  | 7 ->
# 87 "src/aorai/ltllexer.mll"
                            ( LTL_AND )
# 982 "src/aorai/ltllexer.ml"

  | 8 ->
# 88 "src/aorai/ltllexer.mll"
                            ( LTL_NOT )
# 987 "src/aorai/ltllexer.ml"

  | 9 ->
# 89 "src/aorai/ltllexer.mll"
                            ( LTL_GLOBALLY )
# 992 "src/aorai/ltllexer.ml"

  | 10 ->
# 90 "src/aorai/ltllexer.mll"
                            ( LTL_FATALLY )
# 997 "src/aorai/ltllexer.ml"

  | 11 ->
# 91 "src/aorai/ltllexer.mll"
                            ( LTL_UNTIL )
# 1002 "src/aorai/ltllexer.ml"

  | 12 ->
# 92 "src/aorai/ltllexer.mll"
                            ( LTL_RELEASE )
# 1007 "src/aorai/ltllexer.ml"

  | 13 ->
# 93 "src/aorai/ltllexer.mll"
                            ( LTL_NEXT )
# 1012 "src/aorai/ltllexer.ml"

  | 14 ->
# 97 "src/aorai/ltllexer.mll"
                            ( LTL_EQ )
# 1017 "src/aorai/ltllexer.ml"

  | 15 ->
# 98 "src/aorai/ltllexer.mll"
                            ( LTL_LT )
# 1022 "src/aorai/ltllexer.ml"

  | 16 ->
# 99 "src/aorai/ltllexer.mll"
                            ( LTL_GT )
# 1027 "src/aorai/ltllexer.ml"

  | 17 ->
# 100 "src/aorai/ltllexer.mll"
                            ( LTL_LE )
# 1032 "src/aorai/ltllexer.ml"

  | 18 ->
# 101 "src/aorai/ltllexer.mll"
                            ( LTL_GE )
# 1037 "src/aorai/ltllexer.ml"

  | 19 ->
# 102 "src/aorai/ltllexer.mll"
                            ( LTL_NEQ )
# 1042 "src/aorai/ltllexer.ml"

  | 20 ->
# 105 "src/aorai/ltllexer.mll"
                            ( LTL_PLUS )
# 1047 "src/aorai/ltllexer.ml"

  | 21 ->
# 106 "src/aorai/ltllexer.mll"
                            ( LTL_MINUS )
# 1052 "src/aorai/ltllexer.ml"

  | 22 ->
# 107 "src/aorai/ltllexer.mll"
                            ( LTL_DIV )
# 1057 "src/aorai/ltllexer.ml"

  | 23 ->
# 108 "src/aorai/ltllexer.mll"
                            ( LTL_STAR )
# 1062 "src/aorai/ltllexer.ml"

  | 24 ->
# 109 "src/aorai/ltllexer.mll"
                            ( LTL_MODULO)
# 1067 "src/aorai/ltllexer.ml"

  | 25 ->
# 112 "src/aorai/ltllexer.mll"
                            ( LTL_RIGHT_ARROW )
# 1072 "src/aorai/ltllexer.ml"

  | 26 ->
# 113 "src/aorai/ltllexer.mll"
                            ( LTL_DOT )
# 1077 "src/aorai/ltllexer.ml"

  | 27 ->
# 114 "src/aorai/ltllexer.mll"
                            ( LTL_LEFT_SQUARE)
# 1082 "src/aorai/ltllexer.ml"

  | 28 ->
# 115 "src/aorai/ltllexer.mll"
                            ( LTL_RIGHT_SQUARE)
# 1087 "src/aorai/ltllexer.ml"

  | 29 ->
# 116 "src/aorai/ltllexer.mll"
                            ( LTL_ADRESSE )
# 1092 "src/aorai/ltllexer.ml"

  | 30 ->
# 117 "src/aorai/ltllexer.mll"
                            ( LTL_CALL )
# 1097 "src/aorai/ltllexer.ml"

  | 31 ->
# 118 "src/aorai/ltllexer.mll"
                            ( LTL_RETURN )
# 1102 "src/aorai/ltllexer.ml"

  | 32 ->
# 119 "src/aorai/ltllexer.mll"
                            ( LTL_CALL_OR_RETURN )
# 1107 "src/aorai/ltllexer.ml"

  | 33 ->
# 122 "src/aorai/ltllexer.mll"
                            ( comment lexbuf; token lexbuf )
# 1112 "src/aorai/ltllexer.ml"

  | 34 ->
# 123 "src/aorai/ltllexer.mll"
                            ( newline lexbuf; token lexbuf )
# 1117 "src/aorai/ltllexer.ml"

  | 35 ->
# 126 "src/aorai/ltllexer.mll"
                            ( token lexbuf )
# 1122 "src/aorai/ltllexer.ml"

  | 36 ->
# 127 "src/aorai/ltllexer.mll"
                            ( newline lexbuf; token lexbuf )
# 1127 "src/aorai/ltllexer.ml"

  | 37 ->
# 130 "src/aorai/ltllexer.mll"
                            ( LTL_INT (lexeme lexbuf) )
# 1132 "src/aorai/ltllexer.ml"

  | 38 ->
# 131 "src/aorai/ltllexer.mll"
                            ( LTL_LABEL (lexeme lexbuf) )
# 1137 "src/aorai/ltllexer.ml"

  | 39 ->
# 134 "src/aorai/ltllexer.mll"
                            ( EOF )
# 1142 "src/aorai/ltllexer.ml"

  | 40 ->
# 135 "src/aorai/ltllexer.mll"
                            (
      raise_located (loc lexbuf)
        (Format.sprintf "Illegal_character %s\n" (lexeme lexbuf))
    )
# 1150 "src/aorai/ltllexer.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state

and comment lexbuf =
    __ocaml_lex_comment_rec lexbuf 76
and __ocaml_lex_comment_rec lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 141 "src/aorai/ltllexer.mll"
         ( () )
# 1161 "src/aorai/ltllexer.ml"

  | 1 ->
# 142 "src/aorai/ltllexer.mll"
         (  raise_located (loc lexbuf) "Unterminated_comment\n" )
# 1166 "src/aorai/ltllexer.ml"

  | 2 ->
# 143 "src/aorai/ltllexer.mll"
         ( newline lexbuf; comment lexbuf )
# 1171 "src/aorai/ltllexer.ml"

  | 3 ->
# 144 "src/aorai/ltllexer.mll"
         ( comment lexbuf )
# 1176 "src/aorai/ltllexer.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_comment_rec lexbuf __ocaml_lex_state