Source file parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | UPPER_IDENT of (
# 20 "lib/parsing/parser.mly"
       (string)
# 15 "lib/parsing/parser.ml"
  )
    | TYPE
    | RPAREN
    | MODULE
    | LPAREN
    | LOWER_IDENT of (
# 19 "lib/parsing/parser.mly"
       (string)
# 24 "lib/parsing/parser.ml"
  )
    | EOF
    | DOT
    | COMMA
    | AS
  
end

include MenhirBasics

# 1 "lib/parsing/parser.mly"
  
open Ppxlib
open Parsed


# 41 "lib/parsing/parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState08 : ('s _menhir_cell0_mod_longident, _menhir_box_open_payload) _menhir_state
    (** State 08.
        Stack shape : mod_longident.
        Start symbol: open_payload. *)

  | MenhirState09 : (('s, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_state
    (** State 09.
        Stack shape : TYPE.
        Start symbol: open_payload. *)

  | MenhirState17 : ((('s, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_type_ident _menhir_cell0_type_item_kind, _menhir_box_open_payload) _menhir_state
    (** State 17.
        Stack shape : TYPE type_ident type_item_kind.
        Start symbol: open_payload. *)

  | MenhirState21 : (('s, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_state
    (** State 21.
        Stack shape : MODULE.
        Start symbol: open_payload. *)

  | MenhirState23 : ((('s, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_state
    (** State 23.
        Stack shape : MODULE TYPE.
        Start symbol: open_payload. *)

  | MenhirState24 : (((('s, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_mod_ident, _menhir_box_open_payload) _menhir_state
    (** State 24.
        Stack shape : MODULE TYPE mod_ident.
        Start symbol: open_payload. *)

  | MenhirState25 : ((('s, _menhir_box_open_payload) _menhir_cell1_mod_ident, _menhir_box_open_payload) _menhir_cell1_AS, _menhir_box_open_payload) _menhir_state
    (** State 25.
        Stack shape : mod_ident AS.
        Start symbol: open_payload. *)

  | MenhirState29 : ((('s, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_mod_ident, _menhir_box_open_payload) _menhir_state
    (** State 29.
        Stack shape : MODULE mod_ident.
        Start symbol: open_payload. *)

  | MenhirState34 : (('s, _menhir_box_open_payload) _menhir_cell1_val_ident, _menhir_box_open_payload) _menhir_state
    (** State 34.
        Stack shape : val_ident.
        Start symbol: open_payload. *)

  | MenhirState41 : (('s, _menhir_box_open_payload) _menhir_cell1_open_item, _menhir_box_open_payload) _menhir_state
    (** State 41.
        Stack shape : open_item.
        Start symbol: open_payload. *)


and ('s, 'r) _menhir_cell1_mod_ident = 
  | MenhirCell1_mod_ident of 's * ('s, 'r) _menhir_state * (string)

and 's _menhir_cell0_mod_longident = 
  | MenhirCell0_mod_longident of 's * (Ppxlib.longident)

and ('s, 'r) _menhir_cell1_open_item = 
  | MenhirCell1_open_item of 's * ('s, 'r) _menhir_state * (Parsed.Item.t)

and ('s, 'r) _menhir_cell1_type_ident = 
  | MenhirCell1_type_ident of 's * ('s, 'r) _menhir_state * (string)

and 's _menhir_cell0_type_item_kind = 
  | MenhirCell0_type_item_kind of 's * (Parsed.Type.kind)

and ('s, 'r) _menhir_cell1_val_ident = 
  | MenhirCell1_val_ident of 's * ('s, 'r) _menhir_state * (string)

and ('s, 'r) _menhir_cell1_AS = 
  | MenhirCell1_AS of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_MODULE = 
  | MenhirCell1_MODULE of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_TYPE = 
  | MenhirCell1_TYPE of 's * ('s, 'r) _menhir_state

and _menhir_box_open_payload = 
  | MenhirBox_open_payload of (Parsed.Payload.t) [@@unboxed]

let _menhir_action_01 =
  fun _1 ->
    (
# 95 "lib/parsing/parser.mly"
                            ( _1 )
# 130 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_02 =
  fun _1 ->
    (
# 95 "lib/parsing/parser.mly"
                            ( _1 )
# 138 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_03 =
  fun _1 ->
    (
# 95 "lib/parsing/parser.mly"
                            ( _1 )
# 146 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_04 =
  fun _1 ->
    (
# 107 "lib/parsing/parser.mly"
                      ( Lident _1 )
# 154 "lib/parsing/parser.ml"
     : (Ppxlib.longident))

let _menhir_action_05 =
  fun _1 _3 ->
    (
# 108 "lib/parsing/parser.mly"
                      ( Ldot (_1, _3) )
# 162 "lib/parsing/parser.ml"
     : (Ppxlib.longident))

let _menhir_action_06 =
  fun () ->
    (
# 145 "<standard.mly>"
    ( [] )
# 170 "lib/parsing/parser.ml"
     : (Parsed.Item.t list))

let _menhir_action_07 =
  fun x ->
    (
# 148 "<standard.mly>"
    ( x )
# 178 "lib/parsing/parser.ml"
     : (Parsed.Item.t list))

let _menhir_action_08 =
  fun _1 ->
    (
# 118 "lib/parsing/parser.mly"
                ( _1 )
# 186 "lib/parsing/parser.ml"
     : (string))

let _menhir_action_09 =
  fun _2 _3 ->
    (
# 61 "lib/parsing/parser.mly"
                                      ( Module.{ mod_ident=_2; mod_alias=_3 } )
# 194 "lib/parsing/parser.ml"
     : (Parsed.Module.t))

let _menhir_action_10 =
  fun _1 ->
    (
# 121 "lib/parsing/parser.mly"
                                           ( _1 )
# 202 "lib/parsing/parser.ml"
     : (Ppxlib.longident))

let _menhir_action_11 =
  fun _3 _4 ->
    (
# 64 "lib/parsing/parser.mly"
                                          ( Module_type.{ mod_type_ident=_3; mod_type_alias=_4 } )
# 210 "lib/parsing/parser.ml"
     : (Parsed.Module_type.t))

let _menhir_action_12 =
  fun _1 ->
    (
# 48 "lib/parsing/parser.mly"
                  ( Item.Type _1 )
# 218 "lib/parsing/parser.ml"
     : (Parsed.Item.t))

let _menhir_action_13 =
  fun _1 ->
    (
# 49 "lib/parsing/parser.mly"
                  ( Item.Value _1 )
# 226 "lib/parsing/parser.ml"
     : (Parsed.Item.t))

let _menhir_action_14 =
  fun _1 ->
    (
# 50 "lib/parsing/parser.mly"
                  ( Item.Module _1 )
# 234 "lib/parsing/parser.ml"
     : (Parsed.Item.t))

let _menhir_action_15 =
  fun _1 ->
    (
# 51 "lib/parsing/parser.mly"
                  ( Item.Module_type _1 )
# 242 "lib/parsing/parser.ml"
     : (Parsed.Item.t))

let _menhir_action_16 =
  fun _1 ->
    (
# 42 "lib/parsing/parser.mly"
                            ( _1 )
# 250 "lib/parsing/parser.ml"
     : (Parsed.Payload.t))

let _menhir_action_17 =
  fun _1 xs ->
    let _4 = 
# 241 "<standard.mly>"
    ( xs )
# 258 "lib/parsing/parser.ml"
     in
    (
# 45 "lib/parsing/parser.mly"
                                                                     ( Payload.{ open_mod_ident=_1; open_items=_4 } )
# 263 "lib/parsing/parser.ml"
     : (Parsed.Payload.t))

let _menhir_action_18 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 271 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_19 =
  fun _2 ->
    let x = 
# 95 "lib/parsing/parser.mly"
                    ( _2 )
# 279 "lib/parsing/parser.ml"
     in
    (
# 114 "<standard.mly>"
    ( Some x )
# 284 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_20 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 292 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_21 =
  fun _2 ->
    let x = 
# 95 "lib/parsing/parser.mly"
                    ( _2 )
# 300 "lib/parsing/parser.ml"
     in
    (
# 114 "<standard.mly>"
    ( Some x )
# 305 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_22 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 313 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_23 =
  fun _2 ->
    let x = 
# 95 "lib/parsing/parser.mly"
                    ( _2 )
# 321 "lib/parsing/parser.ml"
     in
    (
# 114 "<standard.mly>"
    ( Some x )
# 326 "lib/parsing/parser.ml"
     : (string option))

let _menhir_action_24 =
  fun x ->
    (
# 250 "<standard.mly>"
    ( [ x ] )
# 334 "lib/parsing/parser.ml"
     : (Parsed.Item.t list))

let _menhir_action_25 =
  fun x xs ->
    (
# 253 "<standard.mly>"
    ( x :: xs )
# 342 "lib/parsing/parser.ml"
     : (Parsed.Item.t list))

let _menhir_action_26 =
  fun _1 ->
    (
# 115 "lib/parsing/parser.mly"
                ( _1 )
# 350 "lib/parsing/parser.ml"
     : (string))

let _menhir_action_27 =
  fun _2 _3 _4 ->
    (
# 58 "lib/parsing/parser.mly"
                                                    ( Type.{ type_ident=_2; type_kind=_3; type_alias=_4 } )
# 358 "lib/parsing/parser.ml"
     : (Parsed.Type.t))

let _menhir_action_28 =
  fun () ->
    (
# 81 "lib/parsing/parser.mly"
                            ( Type.Kind_closed )
# 366 "lib/parsing/parser.ml"
     : (Parsed.Type.kind))

let _menhir_action_29 =
  fun () ->
    (
# 82 "lib/parsing/parser.mly"
                            ( Type.Kind_open   )
# 374 "lib/parsing/parser.ml"
     : (Parsed.Type.kind))

let _menhir_action_30 =
  fun _1 ->
    (
# 111 "lib/parsing/parser.mly"
                ( _1 )
# 382 "lib/parsing/parser.ml"
     : (string))

let _menhir_action_31 =
  fun _1 _2 ->
    (
# 55 "lib/parsing/parser.mly"
                             ( Value.{ val_ident=_1; val_alias=_2 } )
# 390 "lib/parsing/parser.ml"
     : (Parsed.Value.t))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | AS ->
        "AS"
    | COMMA ->
        "COMMA"
    | DOT ->
        "DOT"
    | EOF ->
        "EOF"
    | LOWER_IDENT _ ->
        "LOWER_IDENT"
    | LPAREN ->
        "LPAREN"
    | MODULE ->
        "MODULE"
    | RPAREN ->
        "RPAREN"
    | TYPE ->
        "TYPE"
    | UPPER_IDENT _ ->
        "UPPER_IDENT"

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 _menhir_goto_loption_separated_nonempty_list_COMMA_open_item__ : type  ttv_stack. ttv_stack _menhir_cell0_mod_longident -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell0_mod_longident (_menhir_stack, _1) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_17 _1 xs in
      match (_tok : MenhirBasics.token) with
      | EOF ->
          let _1 = _v in
          let _v = _menhir_action_16 _1 in
          MenhirBox_open_payload _v
      | _ ->
          _eRR ()
  
  let _menhir_run_39 : type  ttv_stack. ttv_stack _menhir_cell0_mod_longident -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let x = _v in
      let _v = _menhir_action_07 x in
      _menhir_goto_loption_separated_nonempty_list_COMMA_open_item__ _menhir_stack _menhir_lexbuf _menhir_lexer _v
  
  let rec _menhir_goto_separated_nonempty_list_COMMA_open_item_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState41 ->
          _menhir_run_42 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState08 ->
          _menhir_run_39 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_42 : type  ttv_stack. (ttv_stack, _menhir_box_open_payload) _menhir_cell1_open_item -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_open_item (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_25 x xs in
      _menhir_goto_separated_nonempty_list_COMMA_open_item_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  let rec _menhir_run_09 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_TYPE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState09 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | LOWER_IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_10 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    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_26 _1 in
      _menhir_goto_type_ident _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_type_ident : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState17 ->
          _menhir_run_18 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState09 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_18 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_type_ident _menhir_cell0_type_item_kind -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _2 = _v in
      let _v = _menhir_action_21 _2 in
      _menhir_goto_option___anonymous_0_type_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_option___anonymous_0_type_ident__ : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_type_ident _menhir_cell0_type_item_kind -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _1 = _v in
      let _v = _menhir_action_02 _1 in
      let MenhirCell0_type_item_kind (_menhir_stack, _3) = _menhir_stack in
      let MenhirCell1_type_ident (_menhir_stack, _, _2) = _menhir_stack in
      let MenhirCell1_TYPE (_menhir_stack, _menhir_s) = _menhir_stack in
      let _4 = _v in
      let _v = _menhir_action_27 _2 _3 _4 in
      let _1 = _v in
      let _v = _menhir_action_12 _1 in
      _menhir_goto_open_item _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_open_item : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | COMMA ->
          let _menhir_stack = MenhirCell1_open_item (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState41 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TYPE ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | MODULE ->
              _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LOWER_IDENT _v ->
              _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | RPAREN ->
          let x = _v in
          let _v = _menhir_action_24 x in
          _menhir_goto_separated_nonempty_list_COMMA_open_item_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_21 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_MODULE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState21 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | UPPER_IDENT _v ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | TYPE ->
          let _menhir_stack = MenhirCell1_TYPE (_menhir_stack, _menhir_s) in
          let _menhir_s = MenhirState23 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | UPPER_IDENT _v ->
              _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_22 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    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_08 _1 in
      _menhir_goto_mod_ident _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_mod_ident : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState21 ->
          _menhir_run_29 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState25 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState23 ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_29 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_MODULE as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_mod_ident (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | AS ->
          _menhir_run_25 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState29
      | COMMA | RPAREN ->
          let _menhir_s = MenhirState29 in
          let _v = _menhir_action_18 () in
          _menhir_goto_option___anonymous_0_mod_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_25 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_mod_ident as 'stack) -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_AS (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState25 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | UPPER_IDENT _v ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_goto_option___anonymous_0_mod_ident__ : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_mod_ident as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_01 _1 in
      _menhir_goto_as__mod_ident_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_as__mod_ident_ : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_mod_ident as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState29 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState24 ->
          _menhir_run_28 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_30 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_mod_ident -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_mod_ident (_menhir_stack, _, _2) = _menhir_stack in
      let MenhirCell1_MODULE (_menhir_stack, _menhir_s) = _menhir_stack in
      let _3 = _v in
      let _v = _menhir_action_09 _2 _3 in
      let _1 = _v in
      let _v = _menhir_action_14 _1 in
      _menhir_goto_open_item _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_28 : type  ttv_stack. (((ttv_stack, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_mod_ident -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_mod_ident (_menhir_stack, _, _3) = _menhir_stack in
      let MenhirCell1_TYPE (_menhir_stack, _) = _menhir_stack in
      let MenhirCell1_MODULE (_menhir_stack, _menhir_s) = _menhir_stack in
      let _4 = _v in
      let _v = _menhir_action_11 _3 _4 in
      let _1 = _v in
      let _v = _menhir_action_15 _1 in
      _menhir_goto_open_item _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_26 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_mod_ident, _menhir_box_open_payload) _menhir_cell1_AS -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_AS (_menhir_stack, _menhir_s) = _menhir_stack in
      let _2 = _v in
      let _v = _menhir_action_19 _2 in
      _menhir_goto_option___anonymous_0_mod_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_24 : type  ttv_stack. (((ttv_stack, _menhir_box_open_payload) _menhir_cell1_MODULE, _menhir_box_open_payload) _menhir_cell1_TYPE as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_mod_ident (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | AS ->
          _menhir_run_25 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState24
      | COMMA | RPAREN ->
          let _menhir_s = MenhirState24 in
          let _v = _menhir_action_18 () in
          _menhir_goto_option___anonymous_0_mod_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_31 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _menhir_box_open_payload =
    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_30 _1 in
      _menhir_goto_val_ident _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_val_ident : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState34 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState41 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState08 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_35 : type  ttv_stack. (ttv_stack, _menhir_box_open_payload) _menhir_cell1_val_ident -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _2 = _v in
      let _v = _menhir_action_23 _2 in
      _menhir_goto_option___anonymous_0_val_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_option___anonymous_0_val_ident__ : type  ttv_stack. (ttv_stack, _menhir_box_open_payload) _menhir_cell1_val_ident -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _1 = _v in
      let _v = _menhir_action_03 _1 in
      let MenhirCell1_val_ident (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let _2 = _v in
      let _v = _menhir_action_31 _1 _2 in
      let _1 = _v in
      let _v = _menhir_action_13 _1 in
      _menhir_goto_open_item _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_33 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_val_ident (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | AS ->
          let _menhir_s = MenhirState34 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | LOWER_IDENT _v ->
              _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | COMMA | RPAREN ->
          let _v = _menhir_action_22 () in
          _menhir_goto_option___anonymous_0_val_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_11 : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_TYPE as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_open_payload) _menhir_state -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_type_ident (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | LPAREN ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | DOT ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | DOT ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  (match (_tok : MenhirBasics.token) with
                  | RPAREN ->
                      let _tok = _menhir_lexer _menhir_lexbuf in
                      let _v = _menhir_action_29 () in
                      _menhir_goto_type_item_kind _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
                  | _ ->
                      _eRR ())
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | AS | COMMA | RPAREN ->
          let _v = _menhir_action_28 () in
          _menhir_goto_type_item_kind _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_type_item_kind : type  ttv_stack. ((ttv_stack, _menhir_box_open_payload) _menhir_cell1_TYPE, _menhir_box_open_payload) _menhir_cell1_type_ident -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _menhir_stack = MenhirCell0_type_item_kind (_menhir_stack, _v) in
      match (_tok : MenhirBasics.token) with
      | AS ->
          let _menhir_s = MenhirState17 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | LOWER_IDENT _v ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | COMMA | RPAREN ->
          let _v = _menhir_action_20 () in
          _menhir_goto_option___anonymous_0_type_ident__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  let rec _menhir_goto_longident__mod_longident_UPPER_IDENT_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _1 = _v in
      let _v = _menhir_action_10 _1 in
      match (_tok : MenhirBasics.token) with
      | DOT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | UPPER_IDENT _v_0 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_1, _3) = (_v, _v_0) in
              let _v = _menhir_action_05 _1 _3 in
              _menhir_goto_longident__mod_longident_UPPER_IDENT_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
          | LPAREN ->
              let _menhir_stack = MenhirCell0_mod_longident (_menhir_stack, _v) in
              let _menhir_s = MenhirState08 in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | TYPE ->
                  _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | MODULE ->
                  _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
              | LOWER_IDENT _v ->
                  _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
              | RPAREN ->
                  let _v = _menhir_action_06 () in
                  _menhir_goto_loption_separated_nonempty_list_COMMA_open_item__ _menhir_stack _menhir_lexbuf _menhir_lexer _v
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_open_payload =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | UPPER_IDENT _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let _1 = _v in
          let _v = _menhir_action_04 _1 in
          _menhir_goto_longident__mod_longident_UPPER_IDENT_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
end

let open_payload =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_open_payload v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v