Source file bcfg_query_parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | WORD of 
# 5 "lib/bcfg_query_parser.mly"
      (string)
# 15 "lib/bcfg_query_parser.ml"
  
    | STAR
    | RBRACK
    | RBRACE
    | OR
    | NOT
    | LBRACK
    | LBRACE
    | EOF
    | DOT
    | DOLLAR
    | COMMA
    | COLON
    | CARET
    | AND
  
end

include MenhirBasics

# 1 "lib/bcfg_query_parser.mly"
  
open Bcfg_query

# 40 "lib/bcfg_query_parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState00 : ('s, _menhir_box_query) _menhir_state
    (** State 00.
        Stack shape : <empty>.
        Start symbol: query. *)

  | MenhirState03 : (('s, _menhir_box_query) _menhir_cell1_LBRACE, _menhir_box_query) _menhir_state
    (** State 03.
        Stack shape : LBRACE.
        Start symbol: query. *)

  | MenhirState07 : (('s, _menhir_box_query) _menhir_cell1_OR, _menhir_box_query) _menhir_state
    (** State 07.
        Stack shape : OR.
        Start symbol: query. *)

  | MenhirState08 : (('s, _menhir_box_query) _menhir_cell1_NOT, _menhir_box_query) _menhir_state
    (** State 08.
        Stack shape : NOT.
        Start symbol: query. *)

  | MenhirState09 : (('s, _menhir_box_query) _menhir_cell1_LBRACE, _menhir_box_query) _menhir_state
    (** State 09.
        Stack shape : LBRACE.
        Start symbol: query. *)

  | MenhirState11 : (('s, _menhir_box_query) _menhir_cell1_DOLLAR, _menhir_box_query) _menhir_state
    (** State 11.
        Stack shape : DOLLAR.
        Start symbol: query. *)

  | MenhirState17 : (('s, _menhir_box_query) _menhir_cell1_texpr, _menhir_box_query) _menhir_state
    (** State 17.
        Stack shape : texpr.
        Start symbol: query. *)

  | MenhirState20 : (('s, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_state
    (** State 20.
        Stack shape : aexpr.
        Start symbol: query. *)

  | MenhirState21 : ((('s, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_COLON, _menhir_box_query) _menhir_state
    (** State 21.
        Stack shape : aexpr COLON.
        Start symbol: query. *)

  | MenhirState22 : (((('s, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_COLON, _menhir_box_query) _menhir_cell1_CARET, _menhir_box_query) _menhir_state
    (** State 22.
        Stack shape : aexpr COLON CARET.
        Start symbol: query. *)

  | MenhirState24 : (('s, _menhir_box_query) _menhir_cell1_AND, _menhir_box_query) _menhir_state
    (** State 24.
        Stack shape : AND.
        Start symbol: query. *)

  | MenhirState27 : (('s, _menhir_box_query) _menhir_cell1_pattern, _menhir_box_query) _menhir_state
    (** State 27.
        Stack shape : pattern.
        Start symbol: query. *)

  | MenhirState29 : (('s, _menhir_box_query) _menhir_cell1_pattern, _menhir_box_query) _menhir_state
    (** State 29.
        Stack shape : pattern.
        Start symbol: query. *)

  | MenhirState31 : (('s, _menhir_box_query) _menhir_cell1_pattern, _menhir_box_query) _menhir_state
    (** State 31.
        Stack shape : pattern.
        Start symbol: query. *)

  | MenhirState38 : ((('s, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_CARET, _menhir_box_query) _menhir_state
    (** State 38.
        Stack shape : aexpr CARET.
        Start symbol: query. *)

  | MenhirState49 : ((('s, _menhir_box_query) _menhir_cell1_LBRACE, _menhir_box_query) _menhir_cell1_tpattern, _menhir_box_query) _menhir_state
    (** State 49.
        Stack shape : LBRACE tpattern.
        Start symbol: query. *)


and ('s, 'r) _menhir_cell1_aexpr = 
  | MenhirCell1_aexpr of 's * ('s, 'r) _menhir_state * (Bcfg_query.expr)

and ('s, 'r) _menhir_cell1_pattern = 
  | MenhirCell1_pattern of 's * ('s, 'r) _menhir_state * (Bcfg_query.pattern)

and ('s, 'r) _menhir_cell1_texpr = 
  | MenhirCell1_texpr of 's * ('s, 'r) _menhir_state * (Bcfg_query.expr)

and ('s, 'r) _menhir_cell1_tpattern = 
  | MenhirCell1_tpattern of 's * ('s, 'r) _menhir_state * (Bcfg_query.pattern)

and ('s, 'r) _menhir_cell1_AND = 
  | MenhirCell1_AND of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_CARET = 
  | MenhirCell1_CARET of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_COLON = 
  | MenhirCell1_COLON of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_DOLLAR = 
  | MenhirCell1_DOLLAR of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_LBRACE = 
  | MenhirCell1_LBRACE of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_NOT = 
  | MenhirCell1_NOT of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_OR = 
  | MenhirCell1_OR of 's * ('s, 'r) _menhir_state

and _menhir_box_query = 
  | MenhirBox_query of (Bcfg_query.expr) [@@unboxed]

let _menhir_action_01 =
  fun expr ->
    (expr : (Bcfg_query.expr))

let _menhir_action_02 =
  fun _2 _4 e p ->
    (
# 50 "lib/bcfg_query_parser.mly"
                                             ( EParameter (p, e) )
# 169 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_03 =
  fun _2 _3 _5 e p ->
    (
# 51 "lib/bcfg_query_parser.mly"
                                                    ( EChild (p, e) )
# 177 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_04 =
  fun _2 _3 _5 e p ->
    (
# 52 "lib/bcfg_query_parser.mly"
                                                    ( ENot_parameter (p, e) )
# 185 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_05 =
  fun _2 _3 _4 _6 e p ->
    (
# 53 "lib/bcfg_query_parser.mly"
                                                           ( ENot_child (p, e) )
# 193 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_06 =
  fun _1 _3 e p ->
    (
# 54 "lib/bcfg_query_parser.mly"
                                                          ( EDirective (e, p) )
# 201 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_07 =
  fun _1 ->
    let _1_1 = _1 in
    (
# 44 "lib/bcfg_query_parser.mly"
               EWord
# 210 "lib/bcfg_query_parser.ml"
     _1_1 : (Bcfg_query.expr))

let _menhir_action_08 =
  fun _1 ->
    (
# 45 "lib/bcfg_query_parser.mly"
          ( EPattern PAny )
# 218 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_09 =
  fun _1 _3 tpattern ->
    (
# 46 "lib/bcfg_query_parser.mly"
                                                 EPattern
# 226 "lib/bcfg_query_parser.ml"
     tpattern : (Bcfg_query.expr))

let _menhir_action_10 =
  fun _1 ->
    let _1_1 = _1 in
    (
# 28 "lib/bcfg_query_parser.mly"
               PWord
# 235 "lib/bcfg_query_parser.ml"
     _1_1 : (Bcfg_query.pattern))

let _menhir_action_11 =
  fun _1 ->
    (
# 29 "lib/bcfg_query_parser.mly"
          ( PAny )
# 243 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern))

let _menhir_action_12 =
  fun _1 _2 _4 texpr ->
    (
# 30 "lib/bcfg_query_parser.mly"
                                        PEval
# 251 "lib/bcfg_query_parser.ml"
     texpr : (Bcfg_query.pattern))

let _menhir_action_13 =
  fun _1 _3 tpattern ->
    (tpattern : (Bcfg_query.pattern))

let _menhir_action_14 =
  fun _2 a b ->
    (
# 32 "lib/bcfg_query_parser.mly"
                                  ( POr (a, b) )
# 263 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern))

let _menhir_action_15 =
  fun _2 a b ->
    (
# 33 "lib/bcfg_query_parser.mly"
                                   ( PAnd (a, b) )
# 271 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern))

let _menhir_action_16 =
  fun _1 pattern ->
    (
# 34 "lib/bcfg_query_parser.mly"
                                  PNot
# 279 "lib/bcfg_query_parser.ml"
     pattern : (Bcfg_query.pattern))

let _menhir_action_17 =
  fun _2 texpr ->
    (texpr : (Bcfg_query.expr))

let _menhir_action_18 =
  fun x ->
    (
# 250 "<standard.mly>"
    ( [ x ] )
# 291 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern list))

let _menhir_action_19 =
  fun x xs ->
    (
# 253 "<standard.mly>"
    ( x :: xs )
# 299 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern list))

let _menhir_action_20 =
  fun aexpr ->
    (aexpr : (Bcfg_query.expr))

let _menhir_action_21 =
  fun _2 a b ->
    (
# 58 "lib/bcfg_query_parser.mly"
                               ( EGet_subdirective (a, b) )
# 311 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_22 =
  fun _2 _4 e idx ->
    (
# 59 "lib/bcfg_query_parser.mly"
                                           ( EGet_parameter (e, idx) )
# 319 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.expr))

let _menhir_action_23 =
  fun _1 _2 lst ->
    (
# 38 "lib/bcfg_query_parser.mly"
    ( List.fold_left (fun acc x -> POr (acc, x)) (List.hd lst) (List.tl lst) )
# 327 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern))

let _menhir_action_24 =
  fun _1 _2 lst ->
    (
# 40 "lib/bcfg_query_parser.mly"
    ( List.fold_left (fun acc x -> PAnd (acc, x)) (List.hd lst) (List.tl lst) )
# 335 "lib/bcfg_query_parser.ml"
     : (Bcfg_query.pattern))

let _menhir_action_25 =
  fun pattern ->
    (pattern : (Bcfg_query.pattern))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | WORD _ ->
        "WORD"
    | STAR ->
        "STAR"
    | RBRACK ->
        "RBRACK"
    | RBRACE ->
        "RBRACE"
    | OR ->
        "OR"
    | NOT ->
        "NOT"
    | LBRACK ->
        "LBRACK"
    | LBRACE ->
        "LBRACE"
    | EOF ->
        "EOF"
    | DOT ->
        "DOT"
    | DOLLAR ->
        "DOLLAR"
    | COMMA ->
        "COMMA"
    | COLON ->
        "COLON"
    | CARET ->
        "CARET"
    | AND ->
        "AND"

let _menhir_fail : unit -> 'a =
  fun () ->
    Printf.eprintf "Internal failure -- please contact the parser generator's developers.\n%!";
    assert false

include struct
  
  [@@@ocaml.warning "-4-37"]
  
  let rec _menhir_run_01 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_07 _1 in
      _menhir_goto_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_expr : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let expr = _v in
      let _v = _menhir_action_01 expr in
      _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_aexpr : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState17 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState00 ->
          _menhir_run_43 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState11 ->
          _menhir_run_43 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState49 ->
          _menhir_run_50 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_19 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_texpr as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | LBRACE ->
          let _menhir_stack = MenhirCell1_aexpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer
      | DOT | EOF | LBRACK | RBRACE ->
          let MenhirCell1_texpr (_menhir_stack, _menhir_s, a) = _menhir_stack in
          let (b, _2) = (_v, ()) in
          let _v = _menhir_action_21 _2 a b in
          _menhir_goto_texpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_20 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_aexpr -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState20 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | OR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | COLON ->
          let _menhir_stack = MenhirCell1_COLON (_menhir_stack, _menhir_s) in
          let _menhir_s = MenhirState21 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | OR ->
              _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | NOT ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DOLLAR ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | CARET ->
              let _menhir_stack = MenhirCell1_CARET (_menhir_stack, _menhir_s) in
              let _menhir_s = MenhirState22 in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | WORD _v ->
                  _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
              | STAR ->
                  _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | OR ->
                  _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | NOT ->
                  _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | LBRACE ->
                  _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | DOLLAR ->
                  _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | AND ->
                  _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | _ ->
                  _eRR ())
          | AND ->
              _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | CARET ->
          let _menhir_stack = MenhirCell1_CARET (_menhir_stack, _menhir_s) in
          let _menhir_s = MenhirState38 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | OR ->
              _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | NOT ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DOLLAR ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | AND ->
              _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | AND ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_04 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_10 _1 in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_pattern : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState07 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState24 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState29 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_28 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState31 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState03 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState09 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState20 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState21 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState22 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState38 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState08 ->
          _menhir_run_46 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_26 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | OR ->
          let _menhir_stack = MenhirCell1_pattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_27 _menhir_stack _menhir_lexbuf _menhir_lexer
      | COMMA ->
          let _menhir_stack = MenhirCell1_pattern (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState29 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | NOT ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DOLLAR ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | AND ->
          let _menhir_stack = MenhirCell1_pattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer
      | RBRACE ->
          let x = _v in
          let _v = _menhir_action_18 x in
          _menhir_goto_separated_nonempty_list_COMMA_pattern_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_27 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_pattern -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState27 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_05 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = () in
      let _v = _menhir_action_11 _1 in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_08 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_NOT (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState08 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_09 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LBRACE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState09 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | OR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | AND ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_06 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_OR (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | COMMA ->
          let _menhir_s = MenhirState07 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | NOT ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DOLLAR ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_10 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_DOLLAR (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | LBRACE ->
          let _menhir_s = MenhirState11 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_02 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = () in
      let _v = _menhir_action_08 _1 in
      _menhir_goto_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_03 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LBRACE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState03 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | OR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | AND ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_23 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_AND (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | COMMA ->
          let _menhir_s = MenhirState24 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | WORD _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STAR ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | NOT ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LBRACE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DOLLAR ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_31 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_pattern -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState31 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | NOT ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | DOLLAR ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_goto_separated_nonempty_list_COMMA_pattern_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState24 ->
          _menhir_run_25 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState29 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState07 ->
          _menhir_run_47 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_25 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_AND -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_AND (_menhir_stack, _menhir_s) = _menhir_stack in
      let (_1, _2, lst) = ((), (), _v) in
      let _v = _menhir_action_24 _1 _2 lst in
      _menhir_goto_tpattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_goto_tpattern : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState22 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState21 ->
          _menhir_run_36 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState38 ->
          _menhir_run_39 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState20 ->
          _menhir_run_41 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState09 ->
          _menhir_run_44 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState03 ->
          _menhir_run_48 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_33 : type  ttv_stack. (((ttv_stack, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_COLON, _menhir_box_query) _menhir_cell1_CARET -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_CARET (_menhir_stack, _) = _menhir_stack in
      let MenhirCell1_COLON (_menhir_stack, _) = _menhir_stack in
      let MenhirCell1_aexpr (_menhir_stack, _menhir_s, e) = _menhir_stack in
      let (_2, _3, p, _6, _4) = ((), (), _v, (), ()) in
      let _v = _menhir_action_05 _2 _3 _4 _6 e p in
      _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_36 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_COLON -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_COLON (_menhir_stack, _) = _menhir_stack in
      let MenhirCell1_aexpr (_menhir_stack, _menhir_s, e) = _menhir_stack in
      let (_2, _3, p, _5) = ((), (), _v, ()) in
      let _v = _menhir_action_03 _2 _3 _5 e p in
      _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_39 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_aexpr, _menhir_box_query) _menhir_cell1_CARET -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_CARET (_menhir_stack, _) = _menhir_stack in
      let MenhirCell1_aexpr (_menhir_stack, _menhir_s, e) = _menhir_stack in
      let (_2, _3, p, _5) = ((), (), _v, ()) in
      let _v = _menhir_action_04 _2 _3 _5 e p in
      _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_41 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_aexpr -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_aexpr (_menhir_stack, _menhir_s, e) = _menhir_stack in
      let (_2, p, _4) = ((), _v, ()) in
      let _v = _menhir_action_02 _2 _4 e p in
      _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_44 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_LBRACE -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_LBRACE (_menhir_stack, _menhir_s) = _menhir_stack in
      let (_1, _3, tpattern) = ((), (), _v) in
      let _v = _menhir_action_13 _1 _3 tpattern in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_48 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_LBRACE as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_query) _menhir_state -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v_0 ->
          let _menhir_stack = MenhirCell1_tpattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState49
      | STAR ->
          let _menhir_stack = MenhirCell1_tpattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState49
      | DOT | EOF | LBRACE | LBRACK | RBRACE ->
          let MenhirCell1_LBRACE (_menhir_stack, _menhir_s) = _menhir_stack in
          let (_1, _3, tpattern) = ((), (), _v) in
          let _v = _menhir_action_09 _1 _3 tpattern in
          _menhir_goto_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_30 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_pattern -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_pattern (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_19 x xs in
      _menhir_goto_separated_nonempty_list_COMMA_pattern_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_47 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_OR -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_OR (_menhir_stack, _menhir_s) = _menhir_stack in
      let (_1, _2, lst) = ((), (), _v) in
      let _v = _menhir_action_23 _1 _2 lst in
      _menhir_goto_tpattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_28 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_pattern -> _ -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_pattern (_menhir_stack, _menhir_s, a) = _menhir_stack in
      let (b, _2) = (_v, ()) in
      let _v = _menhir_action_14 _2 a b in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_32 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_pattern -> _ -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_pattern (_menhir_stack, _menhir_s, a) = _menhir_stack in
      let (b, _2) = (_v, ()) in
      let _v = _menhir_action_15 _2 a b in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_35 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | OR ->
          let _menhir_stack = MenhirCell1_pattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_27 _menhir_stack _menhir_lexbuf _menhir_lexer
      | AND ->
          let _menhir_stack = MenhirCell1_pattern (_menhir_stack, _menhir_s, _v) in
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer
      | RBRACE ->
          let pattern = _v in
          let _v = _menhir_action_25 pattern in
          _menhir_goto_tpattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_46 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_NOT -> _ -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_NOT (_menhir_stack, _menhir_s) = _menhir_stack in
      let (_1, pattern) = ((), _v) in
      let _v = _menhir_action_16 _1 pattern in
      _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_texpr : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState11 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState00 ->
          _menhir_run_51 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_12 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_DOLLAR as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | RBRACE ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_DOLLAR (_menhir_stack, _menhir_s) = _menhir_stack in
          let (_1, _2, _4, texpr) = ((), (), (), _v) in
          let _v = _menhir_action_12 _1 _2 _4 texpr in
          _menhir_goto_pattern _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | LBRACK ->
          let _menhir_stack = MenhirCell1_texpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer
      | DOT ->
          let _menhir_stack = MenhirCell1_texpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer
      | _ ->
          _eRR ()
  
  and _menhir_run_14 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_texpr -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RBRACK ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let MenhirCell1_texpr (_menhir_stack, _menhir_s, e) = _menhir_stack in
              let (_2, _4, idx) = ((), (), _v) in
              let _v = _menhir_action_22 _2 _4 e idx in
              _menhir_goto_texpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_17 : type  ttv_stack. (ttv_stack, _menhir_box_query) _menhir_cell1_texpr -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState17 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_51 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | LBRACK ->
          let _menhir_stack = MenhirCell1_texpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer
      | EOF ->
          let (_2, texpr) = ((), _v) in
          let _v = _menhir_action_17 _2 texpr in
          MenhirBox_query _v
      | DOT ->
          let _menhir_stack = MenhirCell1_texpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer
      | _ ->
          _eRR ()
  
  and _menhir_run_43 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_query) _menhir_state -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | LBRACE ->
          let _menhir_stack = MenhirCell1_aexpr (_menhir_stack, _menhir_s, _v) in
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer
      | DOT | EOF | LBRACK | RBRACE ->
          let aexpr = _v in
          let _v = _menhir_action_20 aexpr in
          _menhir_goto_texpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_50 : type  ttv_stack. ((ttv_stack, _menhir_box_query) _menhir_cell1_LBRACE, _menhir_box_query) _menhir_cell1_tpattern -> _ -> _ -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | DOT | EOF | LBRACK | RBRACE ->
          let MenhirCell1_tpattern (_menhir_stack, _, p) = _menhir_stack in
          let MenhirCell1_LBRACE (_menhir_stack, _menhir_s) = _menhir_stack in
          let (_1, e, _3) = ((), _v, ()) in
          let _v = _menhir_action_06 _1 _3 e p in
          _menhir_goto_aexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_query =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _menhir_s = MenhirState00 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | WORD _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | STAR ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | LBRACE ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
end

let query =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_query v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v