Source file parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | TRUE
    | SLASHDASH
    | SEMI
    | RPAREN
    | RBRACE
    | RAW_STRING of 
# 17 "src/parser.mly"
       (string)
# 20 "src/parser.ml"
  
    | QUOTED_STRING of 
# 16 "src/parser.mly"
       (string)
# 25 "src/parser.ml"
  
    | NULL
    | NEWLINE
    | LPAREN
    | LBRACE
    | INTEGER of 
# 18 "src/parser.mly"
       (string)
# 34 "src/parser.ml"
  
    | IDENT_STRING of 
# 15 "src/parser.mly"
       (string)
# 39 "src/parser.ml"
  
    | FLOAT of 
# 19 "src/parser.mly"
       (string)
# 44 "src/parser.ml"
  
    | FALSE
    | EQ
    | EOF
    | BOM
  
end

include MenhirBasics

# 1 "src/parser.mly"
  
open Ast

let cons_if_some x xs =
  match x with
  | None -> xs
  | Some x -> x :: xs

let error loc msg = raise @@ Err.Custom_parsing_error (msg, loc)

# 66 "src/parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState002 : ('s _menhir_cell0_option_BOM_, _menhir_box_document) _menhir_state
    (** State 002.
        Stack shape : option(BOM).
        Start symbol: document. *)

  | MenhirState003 : (('s, _menhir_box_document) _menhir_cell1_NEWLINE, _menhir_box_document) _menhir_state
    (** State 003.
        Stack shape : NEWLINE.
        Start symbol: document. *)

  | MenhirState007 : (('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_state
    (** State 007.
        Stack shape : list(NEWLINE).
        Start symbol: document. *)

  | MenhirState008 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_state
    (** State 008.
        Stack shape : list(NEWLINE) SLASHDASH.
        Start symbol: document. *)

  | MenhirState009 : (('s, _menhir_box_document) _menhir_cell1_NEWLINE, _menhir_box_document) _menhir_state
    (** State 009.
        Stack shape : NEWLINE.
        Start symbol: document. *)

  | MenhirState011 : (((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_state
    (** State 011.
        Stack shape : list(NEWLINE) SLASHDASH list(NEWLINE).
        Start symbol: document. *)

  | MenhirState036 : ((((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_RAW_STRING, _menhir_box_document) _menhir_state
    (** State 036.
        Stack shape : list(NEWLINE) SLASHDASH list(NEWLINE) option(type_annot) RAW_STRING.
        Start symbol: document. *)

  | MenhirState039 : (('s, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_state
    (** State 039.
        Stack shape : SLASHDASH.
        Start symbol: document. *)

  | MenhirState040 : ((('s, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_state
    (** State 040.
        Stack shape : SLASHDASH list(NEWLINE).
        Start symbol: document. *)

  | MenhirState044 : (('s, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_state
    (** State 044.
        Stack shape : RAW_STRING EQ.
        Start symbol: document. *)

  | MenhirState074 : ((('s, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot, _menhir_box_document) _menhir_state
    (** State 074.
        Stack shape : RAW_STRING EQ type_annot.
        Start symbol: document. *)

  | MenhirState077 : (('s, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_state
    (** State 077.
        Stack shape : QUOTED_STRING EQ.
        Start symbol: document. *)

  | MenhirState079 : ((('s, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot, _menhir_box_document) _menhir_state
    (** State 079.
        Stack shape : QUOTED_STRING EQ type_annot.
        Start symbol: document. *)

  | MenhirState081 : (('s, _menhir_box_document) _menhir_cell1_LBRACE, _menhir_box_document) _menhir_state
    (** State 081.
        Stack shape : LBRACE.
        Start symbol: document. *)

  | MenhirState082 : (('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_state
    (** State 082.
        Stack shape : list(NEWLINE).
        Start symbol: document. *)

  | MenhirState092 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_RAW_STRING, _menhir_box_document) _menhir_state
    (** State 092.
        Stack shape : list(NEWLINE) option(type_annot) RAW_STRING.
        Start symbol: document. *)

  | MenhirState094 : (('s, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_state
    (** State 094.
        Stack shape : IDENT_STRING EQ.
        Start symbol: document. *)

  | MenhirState096 : ((('s, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot, _menhir_box_document) _menhir_state
    (** State 096.
        Stack shape : IDENT_STRING EQ type_annot.
        Start symbol: document. *)

  | MenhirState099 : (('s, _menhir_box_document) _menhir_cell1_type_annot, _menhir_box_document) _menhir_state
    (** State 099.
        Stack shape : type_annot.
        Start symbol: document. *)

  | MenhirState103 : (('s, _menhir_box_document) _menhir_cell1_entity, _menhir_box_document) _menhir_state
    (** State 103.
        Stack shape : entity.
        Start symbol: document. *)

  | MenhirState106 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_QUOTED_STRING, _menhir_box_document) _menhir_state
    (** State 106.
        Stack shape : list(NEWLINE) option(type_annot) QUOTED_STRING.
        Start symbol: document. *)

  | MenhirState112 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_IDENT_STRING, _menhir_box_document) _menhir_state
    (** State 112.
        Stack shape : list(NEWLINE) option(type_annot) IDENT_STRING.
        Start symbol: document. *)

  | MenhirState119 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node, _menhir_box_document) _menhir_state
    (** State 119.
        Stack shape : list(NEWLINE) node.
        Start symbol: document. *)

  | MenhirState121 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node, _menhir_box_document) _menhir_state
    (** State 121.
        Stack shape : list(NEWLINE) node.
        Start symbol: document. *)

  | MenhirState128 : ((((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_QUOTED_STRING, _menhir_box_document) _menhir_state
    (** State 128.
        Stack shape : list(NEWLINE) SLASHDASH list(NEWLINE) option(type_annot) QUOTED_STRING.
        Start symbol: document. *)

  | MenhirState130 : ((((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_IDENT_STRING, _menhir_box_document) _menhir_state
    (** State 130.
        Stack shape : list(NEWLINE) SLASHDASH list(NEWLINE) option(type_annot) IDENT_STRING.
        Start symbol: document. *)

  | MenhirState133 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node, _menhir_box_document) _menhir_state
    (** State 133.
        Stack shape : list(NEWLINE) node.
        Start symbol: document. *)

  | MenhirState135 : ((('s, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node, _menhir_box_document) _menhir_state
    (** State 135.
        Stack shape : list(NEWLINE) node.
        Start symbol: document. *)


and ('s, 'r) _menhir_cell1_entity = 
  | MenhirCell1_entity of 's * ('s, 'r) _menhir_state * (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ])

and ('s, 'r) _menhir_cell1_list_NEWLINE_ = 
  | MenhirCell1_list_NEWLINE_ of 's * ('s, 'r) _menhir_state * (unit list)

and ('s, 'r) _menhir_cell1_node = 
  | MenhirCell1_node of 's * ('s, 'r) _menhir_state * (Ast.node option)

and 's _menhir_cell0_option_BOM_ = 
  | MenhirCell0_option_BOM_ of 's * (unit option)

and ('s, 'r) _menhir_cell1_option_type_annot_ = 
  | MenhirCell1_option_type_annot_ of 's * ('s, 'r) _menhir_state * (string option)

and ('s, 'r) _menhir_cell1_type_annot = 
  | MenhirCell1_type_annot of 's * ('s, 'r) _menhir_state * (string) * Lexing.position

and 's _menhir_cell0_EQ = 
  | MenhirCell0_EQ of 's * Lexing.position * Lexing.position

and ('s, 'r) _menhir_cell1_IDENT_STRING = 
  | MenhirCell1_IDENT_STRING of 's * ('s, 'r) _menhir_state * 
# 15 "src/parser.mly"
       (string)
# 240 "src/parser.ml"
 * Lexing.position * Lexing.position

and 's _menhir_cell0_IDENT_STRING = 
  | MenhirCell0_IDENT_STRING of 's * 
# 15 "src/parser.mly"
       (string)
# 247 "src/parser.ml"
 * Lexing.position * Lexing.position

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

and ('s, 'r) _menhir_cell1_NEWLINE = 
  | MenhirCell1_NEWLINE of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_QUOTED_STRING = 
  | MenhirCell1_QUOTED_STRING of 's * ('s, 'r) _menhir_state * 
# 16 "src/parser.mly"
       (string)
# 260 "src/parser.ml"
 * Lexing.position * Lexing.position

and 's _menhir_cell0_QUOTED_STRING = 
  | MenhirCell0_QUOTED_STRING of 's * 
# 16 "src/parser.mly"
       (string)
# 267 "src/parser.ml"
 * Lexing.position * Lexing.position

and ('s, 'r) _menhir_cell1_RAW_STRING = 
  | MenhirCell1_RAW_STRING of 's * ('s, 'r) _menhir_state * 
# 17 "src/parser.mly"
       (string)
# 274 "src/parser.ml"
 * Lexing.position * Lexing.position

and 's _menhir_cell0_RAW_STRING = 
  | MenhirCell0_RAW_STRING of 's * 
# 17 "src/parser.mly"
       (string)
# 281 "src/parser.ml"
 * Lexing.position * Lexing.position

and ('s, 'r) _menhir_cell1_SLASHDASH = 
  | MenhirCell1_SLASHDASH of 's * ('s, 'r) _menhir_state * Lexing.position

and _menhir_box_document = 
  | MenhirBox_document of (Ast.t) [@@unboxed]

let _menhir_action_01 =
  fun xs ->
    (
# 181 "src/parser.mly"
                              ( xs )
# 295 "src/parser.ml"
     : (Ast.node list))

let _menhir_action_02 =
  fun () ->
    (
# 61 "src/parser.mly"
             ( [] )
# 303 "src/parser.ml"
     : (Ast.node list))

let _menhir_action_03 =
  fun x xs ->
    (
# 62 "src/parser.mly"
                                          ( cons_if_some x xs )
# 311 "src/parser.ml"
     : (Ast.node list))

let _menhir_action_04 =
  fun x xs ->
    (
# 63 "src/parser.mly"
                                              ( cons_if_some x xs )
# 319 "src/parser.ml"
     : (Ast.node list))

let _menhir_action_05 =
  fun x ->
    (
# 64 "src/parser.mly"
                    ( cons_if_some x [] )
# 327 "src/parser.ml"
     : (Ast.node list))

let _menhir_action_06 =
  fun xs ->
    (
# 34 "src/parser.mly"
                            ( xs )
# 335 "src/parser.ml"
     : (Ast.t))

let _menhir_action_07 =
  fun _endpos__3_ _startpos__1_ ->
    let _endpos = _endpos__3_ in
    let _symbolstartpos = _startpos__1_ in
    let _sloc = (_symbolstartpos, _endpos) in
    (
# 135 "src/parser.mly"
                              ( _sloc, `Slashdashed_prop_or_arg )
# 346 "src/parser.ml"
     : (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ]))

let _menhir_action_08 =
  fun _endpos__3_ _startpos__1_ ->
    let _endpos = _endpos__3_ in
    let _symbolstartpos = _startpos__1_ in
    let _sloc = (_symbolstartpos, _endpos) in
    (
# 136 "src/parser.mly"
                           ( _sloc, `Slashdashed_children )
# 362 "src/parser.ml"
     : (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ]))

let _menhir_action_09 =
  fun _endpos_x_ _startpos_x_ x ->
    let _endpos = _endpos_x_ in
    let _symbolstartpos = _startpos_x_ in
    let _sloc = (_symbolstartpos, _endpos) in
    (
# 137 "src/parser.mly"
                  ( _sloc, `Prop_or_arg x )
# 378 "src/parser.ml"
     : (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ]))

let _menhir_action_10 =
  fun _endpos_x_ _startpos_x_ x ->
    let _endpos = _endpos_x_ in
    let _symbolstartpos = _startpos_x_ in
    let _sloc = (_symbolstartpos, _endpos) in
    (
# 138 "src/parser.mly"
               ( _sloc, `Children x )
# 394 "src/parser.ml"
     : (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ]))

let _menhir_action_11 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 139 "src/parser.mly"
                               ( error _loc__x_ "Unexpected token '}'" )
# 408 "src/parser.ml"
     : (Loc.t *
  [ `Children of Ast.node list
  | `Prop_or_arg of
      [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
  | `Slashdashed_children
  | `Slashdashed_prop_or_arg ])) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nentity -> SLASHDASH list(NEWLINE) RBRACE error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_12 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 423 "src/parser.ml"
     : (unit list))

let _menhir_action_13 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 431 "src/parser.ml"
     : (unit list))

let _menhir_action_14 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 439 "src/parser.ml"
     : ((Loc.t *
   [ `Children of Ast.node list
   | `Prop_or_arg of
       [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
   | `Slashdashed_children
   | `Slashdashed_prop_or_arg ])
  list))

let _menhir_action_15 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 453 "src/parser.ml"
     : ((Loc.t *
   [ `Children of Ast.node list
   | `Prop_or_arg of
       [ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]
   | `Slashdashed_children
   | `Slashdashed_prop_or_arg ])
  list))

let _menhir_action_16 =
  fun _endpos_id_ _startpos_id_ id ->
    let _4 =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 477 "src/parser.ml"
      
    in
    (
# 69 "src/parser.mly"
    ( None )
# 483 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_17 =
  fun str ->
    let _4 = 
# 46 "src/parser.mly"
                      ( str )
# 491 "src/parser.ml"
     in
    (
# 69 "src/parser.mly"
    ( None )
# 496 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_18 =
  fun rstr ->
    let _4 = 
# 47 "src/parser.mly"
                    ( rstr )
# 504 "src/parser.ml"
     in
    (
# 69 "src/parser.mly"
    ( None )
# 509 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_19 =
  fun _endpos_id_ _startpos_id_ annot entities id ->
    let name =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 527 "src/parser.ml"
      
    in
    let _endpos_name_ = _endpos_id_ in
    (
# 70 "src/parser.mly"
                                                       (
    (* Require at least one whitespace between the node name and 1st entity *)
    begin match entities with
    | [] -> ()
    | (entity1_loc, _) :: _ ->
      let start_pos = _endpos_name_ and end_pos = fst entity1_loc in
      if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
        error (start_pos, end_pos) "Expected a whitespace delimiter";
    end;
    (* Require at least one whitespace between entities *)
    let rec check_whitespace = function
      | [] | _ :: [] -> ()
      | (entity1_loc, _) :: ((entity2_loc, _) :: _ as rest) ->
        let start_pos = snd entity1_loc and end_pos = fst entity2_loc in
        if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
          error (start_pos, end_pos) "Expected a whitespace delimiter";
        check_whitespace rest
    in
    check_whitespace entities;
    let known_props : (string, prop) Hashtbl.t = Hashtbl.create 4 in
    let args = ref [] and props = ref [] and children = ref [] in
    let meet_children = ref false in
    let meet_slashdashed_children = ref false in
    List.iter (fun entity ->
      let loc, entity = entity in
      match entity, !meet_children, !meet_slashdashed_children with
      | `Slashdashed_prop_or_arg, false, false -> ()
      | `Slashdashed_children, _, _ -> meet_slashdashed_children := true;
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), true, _
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), _, true ->
        error loc "A property or argument cannot be defined after a children block"
      | `Children _, true, _ ->
        error loc "A children block cannot be defined twice"
      | `Children c, false, _ ->
        meet_children := true;
        children := c
      | `Prop_or_arg x, false, false ->
        match x with
        | `Arg a ->
          args := a :: !args
        (* This is not optimal, but should be fine for most cases.
           Every prop is checked against the known_props hash table, this
           operates in O(1) on average. If the prop has been already defined,
           it is removed from the list in O(n) time. It is assumed that
           redefinitions of properties should be rare. *)
        | `Prop (name, _ as p) when Hashtbl.mem known_props name ->
          props := p :: List.filter (fun (n, _) -> n <> name) !props
        | `Prop (name, _ as p) ->
          Hashtbl.add known_props name p;
          props := p :: !props
    ) entities;
    let args = List.rev !args and props = List.rev !props in
    let children = !children in
    Some { name; annot; args; props; children }
  )
# 588 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_20 =
  fun _endpos_str_ annot entities str ->
    let name = 
# 46 "src/parser.mly"
                      ( str )
# 596 "src/parser.ml"
     in
    let _endpos_name_ = _endpos_str_ in
    (
# 70 "src/parser.mly"
                                                       (
    (* Require at least one whitespace between the node name and 1st entity *)
    begin match entities with
    | [] -> ()
    | (entity1_loc, _) :: _ ->
      let start_pos = _endpos_name_ and end_pos = fst entity1_loc in
      if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
        error (start_pos, end_pos) "Expected a whitespace delimiter";
    end;
    (* Require at least one whitespace between entities *)
    let rec check_whitespace = function
      | [] | _ :: [] -> ()
      | (entity1_loc, _) :: ((entity2_loc, _) :: _ as rest) ->
        let start_pos = snd entity1_loc and end_pos = fst entity2_loc in
        if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
          error (start_pos, end_pos) "Expected a whitespace delimiter";
        check_whitespace rest
    in
    check_whitespace entities;
    let known_props : (string, prop) Hashtbl.t = Hashtbl.create 4 in
    let args = ref [] and props = ref [] and children = ref [] in
    let meet_children = ref false in
    let meet_slashdashed_children = ref false in
    List.iter (fun entity ->
      let loc, entity = entity in
      match entity, !meet_children, !meet_slashdashed_children with
      | `Slashdashed_prop_or_arg, false, false -> ()
      | `Slashdashed_children, _, _ -> meet_slashdashed_children := true;
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), true, _
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), _, true ->
        error loc "A property or argument cannot be defined after a children block"
      | `Children _, true, _ ->
        error loc "A children block cannot be defined twice"
      | `Children c, false, _ ->
        meet_children := true;
        children := c
      | `Prop_or_arg x, false, false ->
        match x with
        | `Arg a ->
          args := a :: !args
        (* This is not optimal, but should be fine for most cases.
           Every prop is checked against the known_props hash table, this
           operates in O(1) on average. If the prop has been already defined,
           it is removed from the list in O(n) time. It is assumed that
           redefinitions of properties should be rare. *)
        | `Prop (name, _ as p) when Hashtbl.mem known_props name ->
          props := p :: List.filter (fun (n, _) -> n <> name) !props
        | `Prop (name, _ as p) ->
          Hashtbl.add known_props name p;
          props := p :: !props
    ) entities;
    let args = List.rev !args and props = List.rev !props in
    let children = !children in
    Some { name; annot; args; props; children }
  )
# 656 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_21 =
  fun _endpos_rstr_ annot entities rstr ->
    let name = 
# 47 "src/parser.mly"
                    ( rstr )
# 664 "src/parser.ml"
     in
    let _endpos_name_ = _endpos_rstr_ in
    (
# 70 "src/parser.mly"
                                                       (
    (* Require at least one whitespace between the node name and 1st entity *)
    begin match entities with
    | [] -> ()
    | (entity1_loc, _) :: _ ->
      let start_pos = _endpos_name_ and end_pos = fst entity1_loc in
      if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
        error (start_pos, end_pos) "Expected a whitespace delimiter";
    end;
    (* Require at least one whitespace between entities *)
    let rec check_whitespace = function
      | [] | _ :: [] -> ()
      | (entity1_loc, _) :: ((entity2_loc, _) :: _ as rest) ->
        let start_pos = snd entity1_loc and end_pos = fst entity2_loc in
        if Lexing.(start_pos.pos_cnum >= end_pos.pos_cnum) then
          error (start_pos, end_pos) "Expected a whitespace delimiter";
        check_whitespace rest
    in
    check_whitespace entities;
    let known_props : (string, prop) Hashtbl.t = Hashtbl.create 4 in
    let args = ref [] and props = ref [] and children = ref [] in
    let meet_children = ref false in
    let meet_slashdashed_children = ref false in
    List.iter (fun entity ->
      let loc, entity = entity in
      match entity, !meet_children, !meet_slashdashed_children with
      | `Slashdashed_prop_or_arg, false, false -> ()
      | `Slashdashed_children, _, _ -> meet_slashdashed_children := true;
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), true, _
      | (`Prop_or_arg _ | `Slashdashed_prop_or_arg), _, true ->
        error loc "A property or argument cannot be defined after a children block"
      | `Children _, true, _ ->
        error loc "A children block cannot be defined twice"
      | `Children c, false, _ ->
        meet_children := true;
        children := c
      | `Prop_or_arg x, false, false ->
        match x with
        | `Arg a ->
          args := a :: !args
        (* This is not optimal, but should be fine for most cases.
           Every prop is checked against the known_props hash table, this
           operates in O(1) on average. If the prop has been already defined,
           it is removed from the list in O(n) time. It is assumed that
           redefinitions of properties should be rare. *)
        | `Prop (name, _ as p) when Hashtbl.mem known_props name ->
          props := p :: List.filter (fun (n, _) -> n <> name) !props
        | `Prop (name, _ as p) ->
          Hashtbl.add known_props name p;
          props := p :: !props
    ) entities;
    let args = List.rev !args and props = List.rev !props in
    let children = !children in
    Some { name; annot; args; props; children }
  )
# 724 "src/parser.ml"
     : (Ast.node option))

let _menhir_action_22 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                           ( x )
# 732 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 125 "src/parser.mly"
                                 ( error _loc__x_ "A keyword is not a valid node name" )
# 739 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> option(type_annot) TRUE error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_23 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                                              ( x )
# 749 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 125 "src/parser.mly"
                                 ( error _loc__x_ "A keyword is not a valid node name" )
# 756 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> option(type_annot) FALSE error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_24 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                                                                ( x )
# 766 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 125 "src/parser.mly"
                                 ( error _loc__x_ "A keyword is not a valid node name" )
# 773 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> option(type_annot) NULL error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_25 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 126 "src/parser.mly"
                                 ( error _loc__x_ "A number is not a valid node name" )
# 784 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> option(type_annot) INTEGER error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_26 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 127 "src/parser.mly"
                               ( error _loc__x_ "A number is not a valid node name" )
# 795 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> option(type_annot) FLOAT error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_27 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 128 "src/parser.mly"
                        ( error _loc__x_ "Expected a node name" )
# 806 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> type_annot error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_28 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 129 "src/parser.mly"
                           ( error _loc__x_ "Expected a node after '/-'")
# 817 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> SLASHDASH list(NEWLINE) error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_29 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 130 "src/parser.mly"
                 ( error _loc__x_ "Unexpected token ')'" )
# 828 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> RPAREN error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_30 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 131 "src/parser.mly"
                 ( error _loc__x_ "Unexpected token '='" )
# 839 "src/parser.ml"
     : (Ast.node option)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nnode -> EQ error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_31 =
  fun () ->
    (
# 54 "src/parser.mly"
             ( [] )
# 849 "src/parser.ml"
     : (Ast.t))

let _menhir_action_32 =
  fun x ->
    (
# 55 "src/parser.mly"
                        ( cons_if_some x [] )
# 857 "src/parser.ml"
     : (Ast.t))

let _menhir_action_33 =
  fun x xs ->
    (
# 56 "src/parser.mly"
                                 ( cons_if_some x xs )
# 865 "src/parser.ml"
     : (Ast.t))

let _menhir_action_34 =
  fun x xs ->
    (
# 57 "src/parser.mly"
                                     ( cons_if_some x xs )
# 873 "src/parser.ml"
     : (Ast.t))

let _menhir_action_35 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 881 "src/parser.ml"
     : (unit option))

let _menhir_action_36 =
  fun x ->
    (
# 114 "<standard.mly>"
    ( Some x )
# 889 "src/parser.ml"
     : (unit option))

let _menhir_action_37 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 897 "src/parser.ml"
     : (string option))

let _menhir_action_38 =
  fun x ->
    (
# 114 "<standard.mly>"
    ( Some x )
# 905 "src/parser.ml"
     : (string option))

let _menhir_action_39 =
  fun _endpos_id_ _startpos_id_ annot id value ->
    let aval = 
# 149 "src/parser.mly"
                                 ( Some annot, value )
# 913 "src/parser.ml"
     in
    let key =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 928 "src/parser.ml"
      
    in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 934 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_40 =
  fun _endpos_id_ _startpos_id_ id value ->
    let aval = 
# 150 "src/parser.mly"
                ( None, value )
# 942 "src/parser.ml"
     in
    let key =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 957 "src/parser.ml"
      
    in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 963 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_41 =
  fun annot str value ->
    let aval = 
# 149 "src/parser.mly"
                                 ( Some annot, value )
# 971 "src/parser.ml"
     in
    let key = 
# 46 "src/parser.mly"
                      ( str )
# 976 "src/parser.ml"
     in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 981 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_42 =
  fun str value ->
    let aval = 
# 150 "src/parser.mly"
                ( None, value )
# 989 "src/parser.ml"
     in
    let key = 
# 46 "src/parser.mly"
                      ( str )
# 994 "src/parser.ml"
     in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 999 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_43 =
  fun annot rstr value ->
    let aval = 
# 149 "src/parser.mly"
                                 ( Some annot, value )
# 1007 "src/parser.ml"
     in
    let key = 
# 47 "src/parser.mly"
                    ( rstr )
# 1012 "src/parser.ml"
     in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 1017 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_44 =
  fun rstr value ->
    let aval = 
# 150 "src/parser.mly"
                ( None, value )
# 1025 "src/parser.ml"
     in
    let key = 
# 47 "src/parser.mly"
                    ( rstr )
# 1030 "src/parser.ml"
     in
    (
# 144 "src/parser.mly"
                                        ( `Prop (key, aval) )
# 1035 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_45 =
  fun annot value ->
    let aval = 
# 149 "src/parser.mly"
                                 ( Some annot, value )
# 1043 "src/parser.ml"
     in
    (
# 145 "src/parser.mly"
                     ( `Arg aval )
# 1048 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_46 =
  fun value ->
    let aval = 
# 150 "src/parser.mly"
                ( None, value )
# 1056 "src/parser.ml"
     in
    (
# 145 "src/parser.mly"
                     ( `Arg aval )
# 1061 "src/parser.ml"
     : ([ `Arg of Ast.annot_value | `Prop of string * Ast.annot_value ]))

let _menhir_action_47 =
  fun _endpos_id_ _startpos_id_ id ->
    let typ =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 1079 "src/parser.ml"
      
    in
    (
# 172 "src/parser.mly"
                           ( typ )
# 1085 "src/parser.ml"
     : (string))

let _menhir_action_48 =
  fun str ->
    let typ = 
# 46 "src/parser.mly"
                      ( str )
# 1093 "src/parser.ml"
     in
    (
# 172 "src/parser.mly"
                           ( typ )
# 1098 "src/parser.ml"
     : (string))

let _menhir_action_49 =
  fun rstr ->
    let typ = 
# 47 "src/parser.mly"
                    ( rstr )
# 1106 "src/parser.ml"
     in
    (
# 172 "src/parser.mly"
                           ( typ )
# 1111 "src/parser.ml"
     : (string))

let _menhir_action_50 =
  fun _endpos__x_ _endpos_id_ _startpos__x_ _startpos_id_ _x id ->
    let _ = let _2 =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 1129 "src/parser.ml"
      
    in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 173 "src/parser.mly"
                            ( error _loc__x_ "Expected ')'" )
# 1136 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN IDENT_STRING error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_51 =
  fun _endpos__x_ _startpos__x_ _x str ->
    let _ = let _2 = 
# 46 "src/parser.mly"
                      ( str )
# 1146 "src/parser.ml"
     in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 173 "src/parser.mly"
                            ( error _loc__x_ "Expected ')'" )
# 1152 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN QUOTED_STRING error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_52 =
  fun _endpos__x_ _startpos__x_ _x rstr ->
    let _ = let _2 = 
# 47 "src/parser.mly"
                    ( rstr )
# 1162 "src/parser.ml"
     in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 173 "src/parser.mly"
                            ( error _loc__x_ "Expected ')'" )
# 1168 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN RAW_STRING error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_53 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                           ( x )
# 1178 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 174 "src/parser.mly"
                         ( error _loc__x_ "A keyword is not a valid type annotation name" )
# 1185 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN TRUE error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_54 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                                              ( x )
# 1195 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 174 "src/parser.mly"
                         ( error _loc__x_ "A keyword is not a valid type annotation name" )
# 1202 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN FALSE error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_55 =
  fun _endpos_x_ _startpos_x_ x ->
    let _ = let _x = 
# 51 "src/parser.mly"
                                                                ( x )
# 1212 "src/parser.ml"
     in
    let (_endpos__x_, _startpos__x_) = (_endpos_x_, _startpos_x_) in
    let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 174 "src/parser.mly"
                         ( error _loc__x_ "A keyword is not a valid type annotation name" )
# 1219 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN NULL error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_56 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 175 "src/parser.mly"
                         ( error _loc__x_ "A number is not a valid type annotation name" )
# 1230 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN INTEGER error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_57 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 176 "src/parser.mly"
                       ( error _loc__x_ "A number is not a valid type annotation name" )
# 1241 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN FLOAT error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_58 =
  fun _endpos__x_ _startpos__x_ _x ->
    let _ = let _loc__x_ = (_startpos__x_, _endpos__x_) in
    (
# 177 "src/parser.mly"
                 ( error _loc__x_ "Expected a type annotation name" )
# 1252 "src/parser.ml"
     : (string)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\ntype_annot -> LPAREN error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_action_59 =
  fun _endpos_id_ _startpos_id_ id ->
    let value =
      let _loc_id_ = (_startpos_id_, _endpos_id_) in
      
# 37 "src/parser.mly"
                    (
    match id with
    | "inf" | "-inf" | "nan" | "true" | "false" | "null" ->
      error _loc_id_ @@
        Printf.sprintf
          "%s is not a valid identifier. Did you mean \"%s\" (quoted) or #%s?"
          id id id
    | _ -> id
  )
# 1272 "src/parser.ml"
      
    in
    (
# 154 "src/parser.mly"
                     ( `String value )
# 1278 "src/parser.ml"
     : (Ast.value))

let _menhir_action_60 =
  fun str ->
    let value = 
# 46 "src/parser.mly"
                      ( str )
# 1286 "src/parser.ml"
     in
    (
# 154 "src/parser.mly"
                     ( `String value )
# 1291 "src/parser.ml"
     : (Ast.value))

let _menhir_action_61 =
  fun rstr ->
    let value = 
# 47 "src/parser.mly"
                    ( rstr )
# 1299 "src/parser.ml"
     in
    (
# 154 "src/parser.mly"
                     ( `String value )
# 1304 "src/parser.ml"
     : (Ast.value))

let _menhir_action_62 =
  fun value ->
    (
# 155 "src/parser.mly"
                  (
    (* Even if the input is positive, int_of_string_opt can return a
       negative integer for 0x / 0o / 0b prefixes. We probably want to avoid
       this behavior and be consistent regardless of the prefix. This uses
       signed representation only. *)
    match signed_int_of_string_opt value with
    | Some x -> `Int x
    | None -> `Int_raw value
  )
# 1320 "src/parser.ml"
     : (Ast.value))

let _menhir_action_63 =
  fun value ->
    (
# 164 "src/parser.mly"
                ( `Float_raw value )
# 1328 "src/parser.ml"
     : (Ast.value))

let _menhir_action_64 =
  fun () ->
    (
# 165 "src/parser.mly"
            ( `Bool true )
# 1336 "src/parser.ml"
     : (Ast.value))

let _menhir_action_65 =
  fun () ->
    (
# 166 "src/parser.mly"
             ( `Bool false )
# 1344 "src/parser.ml"
     : (Ast.value))

let _menhir_action_66 =
  fun () ->
    (
# 167 "src/parser.mly"
            ( `Null )
# 1352 "src/parser.ml"
     : (Ast.value))

let _menhir_action_67 =
  fun _endpos__1_ _startpos__1_ ->
    let _ = let _endpos = _endpos__1_ in
    let _symbolstartpos = _startpos__1_ in
    let _sloc = (_symbolstartpos, _endpos) in
    (
# 168 "src/parser.mly"
          ( error _sloc "Expected a value" )
# 1363 "src/parser.ml"
     : (Ast.value)) in
    prerr_string "Menhir: misuse: the semantic action associated with the production\nvalue -> error\nis expected to abort the parser, but does not do so.\n";
    assert false

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | TRUE ->
        "TRUE"
    | SLASHDASH ->
        "SLASHDASH"
    | SEMI ->
        "SEMI"
    | RPAREN ->
        "RPAREN"
    | RBRACE ->
        "RBRACE"
    | RAW_STRING _ ->
        "RAW_STRING"
    | QUOTED_STRING _ ->
        "QUOTED_STRING"
    | NULL ->
        "NULL"
    | NEWLINE ->
        "NEWLINE"
    | LPAREN ->
        "LPAREN"
    | LBRACE ->
        "LBRACE"
    | INTEGER _ ->
        "INTEGER"
    | IDENT_STRING _ ->
        "IDENT_STRING"
    | FLOAT _ ->
        "FLOAT"
    | FALSE ->
        "FALSE"
    | EQ ->
        "EQ"
    | EOF ->
        "EOF"
    | BOM ->
        "BOM"

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_error_goto_node : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_s ->
      match _menhir_s with
      | MenhirState082 ->
          _eRR ()
      | MenhirState007 ->
          _eRR ()
      | _ ->
          _menhir_fail ()
  
  let _menhir_error_run_012 : type  ttv_stack. (((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, ()) in
      let _ = _menhir_action_28 _endpos__x_ _startpos__x_ _x in
      _menhir_error_goto_node _menhir_stack _menhir_s
  
  let _menhir_error_run_011 : type  ttv_stack. (((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH as 'stack) -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v _menhir_s ->
      let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
      _menhir_error_run_012 _menhir_stack _menhir_lexbuf
  
  let rec _menhir_error_run_037 : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let (_endpos__1_, _startpos__1_) = (_endpos, _startpos) in
      let _v = _menhir_action_67 _endpos__1_ _startpos__1_ in
      _menhir_error_goto_value _menhir_stack _menhir_lexbuf _endpos__1_ _startpos__1_ _v _menhir_s
  
  and _menhir_error_goto_value : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s ->
      match _menhir_s with
      | MenhirState044 ->
          _menhir_error_run_073 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState074 ->
          _menhir_error_run_075 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState077 ->
          _menhir_error_run_078 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState079 ->
          _menhir_error_run_080 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState094 ->
          _menhir_error_run_095 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState096 ->
          _menhir_error_run_097 _menhir_stack _menhir_lexbuf _endpos _v
      | MenhirState036 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState040 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState092 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState103 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState106 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState112 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState128 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState130 ->
          _menhir_error_run_098 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState099 ->
          _menhir_error_run_100 _menhir_stack _menhir_lexbuf _endpos _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_error_run_073 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_RAW_STRING (_menhir_stack, _menhir_s, rstr, _startpos_rstr_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_44 rstr value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_rstr_ _v _menhir_s
  
  and _menhir_error_goto_prop_or_arg : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s ->
      match _menhir_s with
      | MenhirState036 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState092 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState103 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState106 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState112 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState128 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState130 ->
          _menhir_error_run_101 _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s
      | MenhirState040 ->
          _menhir_error_run_125 _menhir_stack _menhir_lexbuf _endpos
      | _ ->
          _menhir_fail ()
  
  and _menhir_error_run_101 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s ->
      let (x, _endpos_x_, _startpos_x_) = (_v, _endpos, _startpos) in
      let _v = _menhir_action_09 _endpos_x_ _startpos_x_ x in
      _menhir_error_goto_entity _menhir_stack _menhir_lexbuf _v _menhir_s
  
  and _menhir_error_goto_entity : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v _menhir_s ->
      let _menhir_stack = MenhirCell1_entity (_menhir_stack, _menhir_s, _v) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState103
  
  and _menhir_error_run_125 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos ->
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _startpos__1_) = _menhir_stack in
      let _endpos__3_ = _endpos in
      let _v = _menhir_action_07 _endpos__3_ _startpos__1_ in
      _menhir_error_goto_entity _menhir_stack _menhir_lexbuf _v _menhir_s
  
  and _menhir_error_run_075 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_RAW_STRING (_menhir_stack, _menhir_s, rstr, _startpos_rstr_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_43 annot rstr value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_rstr_ _v _menhir_s
  
  and _menhir_error_run_078 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_QUOTED_STRING (_menhir_stack, _menhir_s, str, _startpos_str_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_42 str value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_str_ _v _menhir_s
  
  and _menhir_error_run_080 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_QUOTED_STRING (_menhir_stack, _menhir_s, str, _startpos_str_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_41 annot str value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_str_ _v _menhir_s
  
  and _menhir_error_run_095 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_IDENT_STRING (_menhir_stack, _menhir_s, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_40 _endpos_id_ _startpos_id_ id value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_id_ _v _menhir_s
  
  and _menhir_error_run_097 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_IDENT_STRING (_menhir_stack, _menhir_s, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_39 _endpos_id_ _startpos_id_ annot id value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_id_ _v _menhir_s
  
  and _menhir_error_run_098 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _startpos _v _menhir_s ->
      let (_endpos_value_, _startpos_value_, value) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_46 value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_value_ _v _menhir_s
  
  and _menhir_error_run_100 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _endpos _v ->
      let MenhirCell1_type_annot (_menhir_stack, _menhir_s, annot, _startpos_annot_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_45 annot value in
      _menhir_error_goto_prop_or_arg _menhir_stack _menhir_lexbuf _endpos_value_ _startpos_annot_ _v _menhir_s
  
  let _menhir_error_run_040 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_SLASHDASH as 'stack) -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v _menhir_s ->
      let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState040
  
  let rec _menhir_error_run_010 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_NEWLINE -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v ->
      let MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) = _menhir_stack in
      let (x, xs) = ((), _v) in
      let _v = _menhir_action_13 x xs in
      _menhir_error_goto_list_NEWLINE_ _menhir_stack _menhir_lexbuf _v _menhir_s
  
  and _menhir_error_goto_list_NEWLINE_ : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v _menhir_s ->
      match _menhir_s with
      | MenhirState003 ->
          _menhir_error_run_004 _menhir_stack _menhir_lexbuf _v
      | MenhirState002 ->
          _eRR ()
      | MenhirState133 ->
          _eRR ()
      | MenhirState135 ->
          _eRR ()
      | MenhirState009 ->
          _menhir_error_run_010 _menhir_stack _menhir_lexbuf _v
      | MenhirState008 ->
          _menhir_error_run_011 _menhir_stack _menhir_lexbuf _v _menhir_s
      | MenhirState039 ->
          _menhir_error_run_040 _menhir_stack _menhir_lexbuf _v _menhir_s
      | MenhirState081 ->
          _eRR ()
      | MenhirState119 ->
          _eRR ()
      | MenhirState121 ->
          _eRR ()
      | _ ->
          _menhir_fail ()
  
  and _menhir_error_run_004 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_NEWLINE -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _v ->
      let MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) = _menhir_stack in
      let (x, xs) = ((), _v) in
      let _v = _menhir_action_13 x xs in
      _menhir_error_goto_list_NEWLINE_ _menhir_stack _menhir_lexbuf _v _menhir_s
  
  let _menhir_error_goto_option_type_annot_ : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_s ->
      match _menhir_s with
      | MenhirState011 ->
          _eRR ()
      | MenhirState007 ->
          _eRR ()
      | MenhirState082 ->
          _eRR ()
      | _ ->
          _menhir_fail ()
  
  let _menhir_error_run_034 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _v _menhir_s ->
      let x = _v in
      let _ = _menhir_action_38 x in
      _menhir_error_goto_option_type_annot_ _menhir_stack _menhir_s
  
  let _menhir_error_run_074 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState074
  
  let _menhir_error_run_079 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState079
  
  let _menhir_error_run_088 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let MenhirCell1_type_annot (_menhir_stack, _menhir_s, _, _) = _menhir_stack in
      let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, ()) in
      let _ = _menhir_action_27 _endpos__x_ _startpos__x_ _x in
      _menhir_error_goto_node _menhir_stack _menhir_s
  
  let _menhir_error_run_087 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      _menhir_error_run_088 _menhir_stack _menhir_lexbuf
  
  let _menhir_error_run_096 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState096
  
  let _menhir_error_run_099 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState099
  
  let _menhir_error_goto_type_annot : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _startpos _v _menhir_s ->
      match _menhir_s with
      | MenhirState011 ->
          _menhir_error_run_034 _menhir_stack _v _menhir_s
      | MenhirState044 ->
          _menhir_error_run_074 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState077 ->
          _menhir_error_run_079 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState007 ->
          _menhir_error_run_087 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState082 ->
          _menhir_error_run_087 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState094 ->
          _menhir_error_run_096 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState036 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState040 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState092 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState103 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState106 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState112 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState128 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | MenhirState130 ->
          _menhir_error_run_099 _menhir_stack _menhir_lexbuf _startpos _v _menhir_s
      | _ ->
          _menhir_fail ()
  
  let _menhir_run_083 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | _ ->
          let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, ()) in
          let _ = _menhir_action_29 _endpos__x_ _startpos__x_ _x in
          _menhir_error_goto_node _menhir_stack _menhir_s
  
  let _menhir_run_085 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | _ ->
          let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, ()) in
          let _ = _menhir_action_30 _endpos__x_ _startpos__x_ _x in
          _menhir_error_goto_node _menhir_stack _menhir_s
  
  let _menhir_run_005 : type  ttv_stack. ttv_stack _menhir_cell0_option_BOM_ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _v _tok ->
      match (_tok : MenhirBasics.token) with
      | EOF ->
          let MenhirCell0_option_BOM_ (_menhir_stack, _) = _menhir_stack in
          let xs = _v in
          let _v = _menhir_action_06 xs in
          MenhirBox_document _v
      | _ ->
          _eRR ()
  
  let rec _menhir_goto_nodes : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState002 ->
          _menhir_run_005 _menhir_stack _v _tok
      | MenhirState133 ->
          _menhir_run_134 _menhir_stack _v _tok
      | MenhirState135 ->
          _menhir_run_136 _menhir_stack _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_134 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _v _tok ->
      let MenhirCell1_node (_menhir_stack, _, x) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_33 x xs in
      _menhir_goto_nodes _menhir_stack _v _menhir_s _tok
  
  and _menhir_run_136 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _v _tok ->
      let MenhirCell1_node (_menhir_stack, _, x) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_34 x xs in
      _menhir_goto_nodes _menhir_stack _v _menhir_s _tok
  
  let rec _menhir_run_003 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState003
      | EOF | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | RPAREN | SLASHDASH | TRUE ->
          let _v = _menhir_action_12 () in
          _menhir_run_004 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_004 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_NEWLINE -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) = _menhir_stack in
      let (x, xs) = ((), _v) in
      let _v = _menhir_action_13 x xs in
      _menhir_goto_list_NEWLINE_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_list_NEWLINE_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState003 ->
          _menhir_run_004 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState002 ->
          _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState133 ->
          _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState135 ->
          _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState009 ->
          _menhir_run_010 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState008 ->
          _menhir_run_011 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState039 ->
          _menhir_run_040 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState081 ->
          _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState119 ->
          _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState121 ->
          _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_007 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | SLASHDASH ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_008 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState007
      | RPAREN ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_083 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState007
      | LPAREN ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState007
      | EQ ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_085 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState007
      | EOF ->
          let _v = _menhir_action_31 () in
          _menhir_goto_nodes _menhir_stack _v _menhir_s _tok
      | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | NULL | QUOTED_STRING _ | RAW_STRING _ | TRUE ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          let _v_0 = _menhir_action_37 () in
          _menhir_run_089 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState007 _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_008 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _menhir_stack = MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _startpos) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_009 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState008
      | IDENT_STRING _ | LPAREN | QUOTED_STRING _ | RAW_STRING _ ->
          let _v = _menhir_action_12 () in
          _menhir_run_011 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState008 _tok
      | _ ->
          let _v = _menhir_action_12 () in
          _menhir_error_run_011 _menhir_stack _menhir_lexbuf _v MenhirState008
  
  and _menhir_run_009 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_009 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState009
      | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LBRACE | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | TRUE ->
          let _v = _menhir_action_12 () in
          _menhir_run_010 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          let _v = _menhir_action_12 () in
          _menhir_error_run_010 _menhir_stack _menhir_lexbuf _v
  
  and _menhir_run_010 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_NEWLINE -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_NEWLINE (_menhir_stack, _menhir_s) = _menhir_stack in
      let (x, xs) = ((), _v) in
      let _v = _menhir_action_13 x xs in
      _menhir_goto_list_NEWLINE_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_011 : type  ttv_stack. (((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | LPAREN ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              let _startpos_0 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | _ ->
                  let _v_3 =
                    let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos_0) in
                    _menhir_action_53 _endpos_x_ _startpos_x_ x
                  in
                  _menhir_error_run_034 _menhir_stack _v_3 MenhirState011)
          | RAW_STRING _v_4 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | RPAREN ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  let _v_8 =
                    let rstr = _v_4 in
                    _menhir_action_49 rstr
                  in
                  _menhir_run_034 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 MenhirState011 _tok
              | _ ->
                  let _startpos_9 = _menhir_lexbuf.Lexing.lex_start_p in
                  let _endpos_10 = _menhir_lexbuf.Lexing.lex_curr_p in
                  let _v_11 =
                    let (_endpos__x_, _startpos__x_, _x, rstr) = (_endpos_10, _startpos_9, (), _v_4) in
                    _menhir_action_52 _endpos__x_ _startpos__x_ _x rstr
                  in
                  _menhir_error_run_034 _menhir_stack _v_11 MenhirState011)
          | QUOTED_STRING _v_12 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | RPAREN ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  let _v_16 =
                    let str = _v_12 in
                    _menhir_action_48 str
                  in
                  _menhir_run_034 _menhir_stack _menhir_lexbuf _menhir_lexer _v_16 MenhirState011 _tok
              | _ ->
                  let _startpos_17 = _menhir_lexbuf.Lexing.lex_start_p in
                  let _endpos_18 = _menhir_lexbuf.Lexing.lex_curr_p in
                  let _v_19 =
                    let (_endpos__x_, _startpos__x_, _x, str) = (_endpos_18, _startpos_17, (), _v_12) in
                    _menhir_action_51 _endpos__x_ _startpos__x_ _x str
                  in
                  _menhir_error_run_034 _menhir_stack _v_19 MenhirState011)
          | NULL ->
              let _startpos_20 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | _ ->
                  let _v_23 =
                    let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos_20) in
                    _menhir_action_55 _endpos_x_ _startpos_x_ x
                  in
                  _menhir_error_run_034 _menhir_stack _v_23 MenhirState011)
          | INTEGER _v_24 ->
              let _startpos_25 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | _ ->
                  let _v_28 =
                    let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos_25, _v_24) in
                    _menhir_action_56 _endpos__x_ _startpos__x_ _x
                  in
                  _menhir_error_run_034 _menhir_stack _v_28 MenhirState011)
          | IDENT_STRING _v_29 ->
              let _startpos_30 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | RPAREN ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  let _v_33 =
                    let (_endpos_id_, _startpos_id_, id) = (_endpos, _startpos_30, _v_29) in
                    _menhir_action_47 _endpos_id_ _startpos_id_ id
                  in
                  _menhir_run_034 _menhir_stack _menhir_lexbuf _menhir_lexer _v_33 MenhirState011 _tok
              | _ ->
                  let _startpos_34 = _menhir_lexbuf.Lexing.lex_start_p in
                  let _endpos_35 = _menhir_lexbuf.Lexing.lex_curr_p in
                  let _v_36 =
                    let (_endpos__x_, _startpos__x_, _x, _endpos_id_, _startpos_id_, id) = (_endpos_35, _startpos_34, (), _endpos, _startpos_30, _v_29) in
                    _menhir_action_50 _endpos__x_ _endpos_id_ _startpos__x_ _startpos_id_ _x id
                  in
                  _menhir_error_run_034 _menhir_stack _v_36 MenhirState011)
          | FLOAT _v_37 ->
              let _startpos_38 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | _ ->
                  let _v_41 =
                    let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos_38, _v_37) in
                    _menhir_action_57 _endpos__x_ _startpos__x_ _x
                  in
                  _menhir_error_run_034 _menhir_stack _v_41 MenhirState011)
          | FALSE ->
              let _startpos_42 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | _ ->
                  let _v_45 =
                    let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos_42) in
                    _menhir_action_54 _endpos_x_ _startpos_x_ x
                  in
                  _menhir_error_run_034 _menhir_stack _v_45 MenhirState011)
          | _ ->
              let _startpos_46 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
              let _v_47 =
                let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos_46, ()) in
                _menhir_action_58 _endpos__x_ _startpos__x_ _x
              in
              _menhir_error_run_034 _menhir_stack _v_47 MenhirState011)
      | IDENT_STRING _ | QUOTED_STRING _ | RAW_STRING _ ->
          let _v_48 = _menhir_action_37 () in
          _menhir_run_035 _menhir_stack _menhir_lexbuf _menhir_lexer _v_48 MenhirState011 _tok
      | _ ->
          _menhir_error_run_012 _menhir_stack _menhir_lexbuf
  
  and _menhir_run_034 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let x = _v in
      let _v = _menhir_action_38 x in
      _menhir_goto_option_type_annot_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_option_type_annot_ : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState011 ->
          _menhir_run_035 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState007 ->
          _menhir_run_089 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState082 ->
          _menhir_run_089 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_035 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | RAW_STRING _v_0 ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_RAW_STRING (_menhir_stack, _v_0, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | RAW_STRING _v_1 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState036
          | QUOTED_STRING _v_2 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState036
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | INTEGER _v_3 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState036
          | IDENT_STRING _v_4 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState036
          | FLOAT _v_5 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState036
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState036
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _ = _menhir_action_14 () in
              _menhir_run_127 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState036)
      | QUOTED_STRING _v_7 ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_QUOTED_STRING (_menhir_stack, _v_7, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | RAW_STRING _v_8 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 MenhirState128
          | QUOTED_STRING _v_9 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_9 MenhirState128
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | INTEGER _v_10 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_10 MenhirState128
          | IDENT_STRING _v_11 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_11 MenhirState128
          | FLOAT _v_12 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_12 MenhirState128
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState128
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _ = _menhir_action_14 () in
              _menhir_run_129 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState128)
      | IDENT_STRING _v_14 ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_IDENT_STRING (_menhir_stack, _v_14, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | RAW_STRING _v_15 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_15 MenhirState130
          | QUOTED_STRING _v_16 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_16 MenhirState130
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | INTEGER _v_17 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_17 MenhirState130
          | IDENT_STRING _v_18 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_18 MenhirState130
          | FLOAT _v_19 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_19 MenhirState130
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState130
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _ = _menhir_action_14 () in
              _menhir_run_131 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState130)
      | _ ->
          _eRR ()
  
  and _menhir_run_038 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos__1_, _startpos__1_) = (_endpos, _startpos) in
      let _v = _menhir_action_64 () in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos__1_ _startpos__1_ _v _menhir_s _tok
  
  and _menhir_goto_value : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState044 ->
          _menhir_run_073 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState074 ->
          _menhir_run_075 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState077 ->
          _menhir_run_078 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState079 ->
          _menhir_run_080 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState094 ->
          _menhir_run_095 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState096 ->
          _menhir_run_097 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | MenhirState036 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState040 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState092 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState103 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState106 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState112 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState128 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState130 ->
          _menhir_run_098 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState099 ->
          _menhir_run_100 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_073 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_RAW_STRING (_menhir_stack, _menhir_s, rstr, _startpos_rstr_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_44 rstr value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_rstr_ _v _menhir_s _tok
  
  and _menhir_goto_prop_or_arg : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState036 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState092 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState103 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState106 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState112 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState128 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState130 ->
          _menhir_run_101 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState040 ->
          _menhir_run_125 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_101 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      let (x, _endpos_x_, _startpos_x_) = (_v, _endpos, _startpos) in
      let _v = _menhir_action_09 _endpos_x_ _startpos_x_ x in
      _menhir_goto_entity _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_entity : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_entity (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | SLASHDASH ->
          _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | RAW_STRING _v_0 ->
          _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState103
      | QUOTED_STRING _v_1 ->
          _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState103
      | NULL ->
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | LPAREN ->
          _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | LBRACE ->
          _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | INTEGER _v_2 ->
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState103
      | IDENT_STRING _v_3 ->
          _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState103
      | FLOAT _v_4 ->
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState103
      | FALSE ->
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState103
      | EOF | NEWLINE | RBRACE | SEMI ->
          let _v_5 = _menhir_action_14 () in
          _menhir_run_104 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 _tok
      | _ ->
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState103
  
  and _menhir_run_039 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _menhir_stack = MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _startpos) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_009 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState039
      | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LBRACE | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | TRUE ->
          let _v = _menhir_action_12 () in
          _menhir_run_040 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState039 _tok
      | _ ->
          let _v = _menhir_action_12 () in
          _menhir_error_run_040 _menhir_stack _menhir_lexbuf _v MenhirState039
  
  and _menhir_run_040 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_SLASHDASH as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState040
      | RBRACE ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _) = _menhir_stack in
              let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, ()) in
              let _v = _menhir_action_11 _endpos__x_ _startpos__x_ _x in
              _menhir_error_goto_entity _menhir_stack _menhir_lexbuf _v _menhir_s)
      | RAW_STRING _v_2 ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState040
      | QUOTED_STRING _v_3 ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState040
      | NULL ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState040
      | LPAREN ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState040
      | LBRACE ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState040
      | INTEGER _v_4 ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState040
      | IDENT_STRING _v_5 ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState040
      | FLOAT _v_6 ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState040
      | FALSE ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState040
      | _ ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState040
  
  and _menhir_run_043 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | EQ ->
          let _menhir_stack = MenhirCell1_RAW_STRING (_menhir_stack, _menhir_s, _v, _startpos, _endpos) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_EQ (_menhir_stack, _startpos, _endpos) in
          let _menhir_s = MenhirState044 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | RAW_STRING _v ->
              _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | QUOTED_STRING _v ->
              _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | INTEGER _v ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | IDENT_STRING _v ->
              _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FLOAT _v ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf _menhir_s)
      | EOF | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LBRACE | LPAREN | NEWLINE | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | SEMI | SLASHDASH | TRUE ->
          let (_endpos_rstr_, _startpos_rstr_, rstr) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_61 rstr in
          _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_rstr_ _startpos_rstr_ _v _menhir_s _tok
      | _ ->
          let (_endpos_rstr_, _startpos_rstr_, rstr) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_61 rstr in
          _menhir_error_goto_value _menhir_stack _menhir_lexbuf _endpos_rstr_ _startpos_rstr_ _v _menhir_s
  
  and _menhir_run_045 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos_rstr_, _startpos_rstr_, rstr) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_61 rstr in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_rstr_ _startpos_rstr_ _v _menhir_s _tok
  
  and _menhir_run_046 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos_str_, _startpos_str_, str) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_60 str in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_str_ _startpos_str_ _v _menhir_s _tok
  
  and _menhir_run_047 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos__1_, _startpos__1_) = (_endpos, _startpos) in
      let _v = _menhir_action_66 () in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos__1_ _startpos__1_ _v _menhir_s _tok
  
  and _menhir_run_048 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          let _startpos_0 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_, _startpos__1_) = ((), _endpos, _startpos_0, _startpos) in
              let _v = _menhir_action_53 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | RAW_STRING _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RPAREN ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_startpos__1_, rstr) = (_startpos, _v) in
              let _v = _menhir_action_49 rstr in
              _menhir_goto_type_annot _menhir_stack _menhir_lexbuf _menhir_lexer _startpos__1_ _v _menhir_s _tok
          | _ ->
              let _startpos_6 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos_7 = _menhir_lexbuf.Lexing.lex_curr_p in
              let (_startpos__1_, _endpos__x_, _startpos__x_, _x, rstr) = (_startpos, _endpos_7, _startpos_6, (), _v) in
              let _v = _menhir_action_52 _endpos__x_ _startpos__x_ _x rstr in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | QUOTED_STRING _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RPAREN ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_startpos__1_, str) = (_startpos, _v) in
              let _v = _menhir_action_48 str in
              _menhir_goto_type_annot _menhir_stack _menhir_lexbuf _menhir_lexer _startpos__1_ _v _menhir_s _tok
          | _ ->
              let _startpos_11 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos_12 = _menhir_lexbuf.Lexing.lex_curr_p in
              let (_startpos__1_, _endpos__x_, _startpos__x_, _x, str) = (_startpos, _endpos_12, _startpos_11, (), _v) in
              let _v = _menhir_action_51 _endpos__x_ _startpos__x_ _x str in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | NULL ->
          let _startpos_13 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_, _startpos__1_) = ((), _endpos, _startpos_13, _startpos) in
              let _v = _menhir_action_55 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | INTEGER _v ->
          let _startpos_16 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (_startpos__1_, _endpos__x_, _startpos__x_, _x) = (_startpos, _endpos, _startpos_16, _v) in
              let _v = _menhir_action_56 _endpos__x_ _startpos__x_ _x in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | IDENT_STRING _v ->
          let _startpos_19 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RPAREN ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_startpos__1_, _endpos_id_, _startpos_id_, id) = (_startpos, _endpos, _startpos_19, _v) in
              let _v = _menhir_action_47 _endpos_id_ _startpos_id_ id in
              _menhir_goto_type_annot _menhir_stack _menhir_lexbuf _menhir_lexer _startpos__1_ _v _menhir_s _tok
          | _ ->
              let _startpos_22 = _menhir_lexbuf.Lexing.lex_start_p in
              let _endpos_23 = _menhir_lexbuf.Lexing.lex_curr_p in
              let (_startpos__1_, _endpos__x_, _startpos__x_, _x, _endpos_id_, _startpos_id_, id) = (_startpos, _endpos_23, _startpos_22, (), _endpos, _startpos_19, _v) in
              let _v = _menhir_action_50 _endpos__x_ _endpos_id_ _startpos__x_ _startpos_id_ _x id in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | FLOAT _v ->
          let _startpos_24 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (_startpos__1_, _endpos__x_, _startpos__x_, _x) = (_startpos, _endpos, _startpos_24, _v) in
              let _v = _menhir_action_57 _endpos__x_ _startpos__x_ _x in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | FALSE ->
          let _startpos_27 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_, _startpos__1_) = ((), _endpos, _startpos_27, _startpos) in
              let _v = _menhir_action_54 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s)
      | _ ->
          let _startpos_30 = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let (_startpos__1_, _endpos__x_, _startpos__x_, _x) = (_startpos, _endpos, _startpos_30, ()) in
          let _v = _menhir_action_58 _endpos__x_ _startpos__x_ _x in
          _menhir_error_goto_type_annot _menhir_stack _menhir_lexbuf _startpos__1_ _v _menhir_s
  
  and _menhir_goto_type_annot : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState011 ->
          _menhir_run_034 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState044 ->
          _menhir_run_074 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState077 ->
          _menhir_run_079 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState007 ->
          _menhir_run_087 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState082 ->
          _menhir_run_087 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState094 ->
          _menhir_run_096 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState036 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState040 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState092 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState103 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState106 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState112 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState128 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | MenhirState130 ->
          _menhir_run_099 _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_074 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState074
      | RAW_STRING _v_0 ->
          _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState074
      | QUOTED_STRING _v_1 ->
          _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState074
      | NULL ->
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState074
      | INTEGER _v_2 ->
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState074
      | IDENT_STRING _v_3 ->
          _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState074
      | FLOAT _v_4 ->
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState074
      | FALSE ->
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState074
      | _ ->
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState074
  
  and _menhir_run_069 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos_value_, _startpos_value_, value) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_62 value in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_value_ _v _menhir_s _tok
  
  and _menhir_run_070 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos_id_, _startpos_id_, id) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_59 _endpos_id_ _startpos_id_ id in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_id_ _startpos_id_ _v _menhir_s _tok
  
  and _menhir_run_071 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos_value_, _startpos_value_, value) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_63 value in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_value_ _v _menhir_s _tok
  
  and _menhir_run_072 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let (_endpos__1_, _startpos__1_) = (_endpos, _startpos) in
      let _v = _menhir_action_65 () in
      _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos__1_ _startpos__1_ _v _menhir_s _tok
  
  and _menhir_run_079 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState079
      | RAW_STRING _v_0 ->
          _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState079
      | QUOTED_STRING _v_1 ->
          _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState079
      | NULL ->
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState079
      | INTEGER _v_2 ->
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState079
      | IDENT_STRING _v_3 ->
          _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState079
      | FLOAT _v_4 ->
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState079
      | FALSE ->
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState079
      | _ ->
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState079
  
  and _menhir_run_087 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | NULL | QUOTED_STRING _ | RAW_STRING _ | TRUE ->
          let x = _v in
          let _v = _menhir_action_38 x in
          _menhir_goto_option_type_annot_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
          _menhir_error_run_088 _menhir_stack _menhir_lexbuf
  
  and _menhir_run_096 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ as 'stack) -> _ -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState096
      | RAW_STRING _v_0 ->
          _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState096
      | QUOTED_STRING _v_1 ->
          _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState096
      | NULL ->
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState096
      | INTEGER _v_2 ->
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState096
      | IDENT_STRING _v_3 ->
          _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState096
      | FLOAT _v_4 ->
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState096
      | FALSE ->
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState096
      | _ ->
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState096
  
  and _menhir_run_099 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _startpos _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_type_annot (_menhir_stack, _menhir_s, _v, _startpos) in
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState099
      | RAW_STRING _v_0 ->
          _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState099
      | QUOTED_STRING _v_1 ->
          _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState099
      | NULL ->
          _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState099
      | INTEGER _v_2 ->
          _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState099
      | IDENT_STRING _v_3 ->
          _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState099
      | FLOAT _v_4 ->
          _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState099
      | FALSE ->
          _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState099
      | _ ->
          _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState099
  
  and _menhir_run_076 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | EQ ->
          let _menhir_stack = MenhirCell1_QUOTED_STRING (_menhir_stack, _menhir_s, _v, _startpos, _endpos) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_EQ (_menhir_stack, _startpos, _endpos) in
          let _menhir_s = MenhirState077 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | RAW_STRING _v ->
              _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | QUOTED_STRING _v ->
              _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | INTEGER _v ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | IDENT_STRING _v ->
              _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FLOAT _v ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf _menhir_s)
      | EOF | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LBRACE | LPAREN | NEWLINE | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | SEMI | SLASHDASH | TRUE ->
          let (_endpos_str_, _startpos_str_, str) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_60 str in
          _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_str_ _startpos_str_ _v _menhir_s _tok
      | _ ->
          let (_endpos_str_, _startpos_str_, str) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_60 str in
          _menhir_error_goto_value _menhir_stack _menhir_lexbuf _endpos_str_ _startpos_str_ _v _menhir_s
  
  and _menhir_run_081 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _menhir_stack = MenhirCell1_LBRACE (_menhir_stack, _menhir_s, _startpos) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState081
      | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | RPAREN | SLASHDASH | TRUE ->
          let _v = _menhir_action_12 () in
          _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState081 _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_082 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | SLASHDASH ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_008 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState082
      | RPAREN ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_083 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState082
      | LPAREN ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState082
      | EQ ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          _menhir_run_085 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState082
      | RBRACE ->
          let _v = _menhir_action_02 () in
          _menhir_goto_children_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | NULL | QUOTED_STRING _ | RAW_STRING _ | TRUE ->
          let _menhir_stack = MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _v) in
          let _v_0 = _menhir_action_37 () in
          _menhir_run_089 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState082 _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_children_nodes : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState119 ->
          _menhir_run_120 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState121 ->
          _menhir_run_122 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState081 ->
          _menhir_run_123 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_120 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_node (_menhir_stack, _, x) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_03 x xs in
      _menhir_goto_children_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_122 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_node -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_node (_menhir_stack, _, x) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_04 x xs in
      _menhir_goto_children_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_run_123 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_LBRACE -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_LBRACE (_menhir_stack, _menhir_s, _startpos__1_) = _menhir_stack in
      let (xs, _endpos__3_) = (_v, _endpos) in
      let _v = _menhir_action_01 xs in
      _menhir_goto_children _menhir_stack _menhir_lexbuf _menhir_lexer _endpos__3_ _startpos__1_ _v _menhir_s _tok
  
  and _menhir_goto_children : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState036 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState092 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState103 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState106 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState112 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState128 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState130 ->
          _menhir_run_105 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok
      | MenhirState040 ->
          _menhir_run_126 _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_105 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      let (x, _endpos_x_, _startpos_x_) = (_v, _endpos, _startpos) in
      let _v = _menhir_action_10 _endpos_x_ _startpos_x_ x in
      _menhir_goto_entity _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_126 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _tok ->
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _startpos__1_) = _menhir_stack in
      let _endpos__3_ = _endpos in
      let _v = _menhir_action_08 _endpos__3_ _startpos__1_ in
      _menhir_goto_entity _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_089 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | TRUE ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos) in
              let _ = _menhir_action_22 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_node _menhir_stack _menhir_s)
      | RAW_STRING _v_2 ->
          let _menhir_stack = MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, _v) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_RAW_STRING (_menhir_stack, _v_2, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | RAW_STRING _v_3 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState092
          | QUOTED_STRING _v_4 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState092
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | INTEGER _v_5 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState092
          | IDENT_STRING _v_6 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState092
          | FLOAT _v_7 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_7 MenhirState092
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState092
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _v_8 = _menhir_action_14 () in
              _menhir_run_102 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState092)
      | QUOTED_STRING _v_9 ->
          let _menhir_stack = MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, _v) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_QUOTED_STRING (_menhir_stack, _v_9, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | RAW_STRING _v_10 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_10 MenhirState106
          | QUOTED_STRING _v_11 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_11 MenhirState106
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | INTEGER _v_12 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_12 MenhirState106
          | IDENT_STRING _v_13 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_13 MenhirState106
          | FLOAT _v_14 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_14 MenhirState106
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState106
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _v_15 = _menhir_action_14 () in
              _menhir_run_107 _menhir_stack _menhir_lexbuf _menhir_lexer _v_15 _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState106)
      | NULL ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos) in
              let _ = _menhir_action_24 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_node _menhir_stack _menhir_s)
      | INTEGER _v_18 ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, _v_18) in
              let _ = _menhir_action_25 _endpos__x_ _startpos__x_ _x in
              _menhir_error_goto_node _menhir_stack _menhir_s)
      | IDENT_STRING _v_21 ->
          let _menhir_stack = MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, _v) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_IDENT_STRING (_menhir_stack, _v_21, _startpos, _endpos) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | SLASHDASH ->
              _menhir_run_039 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | RAW_STRING _v_22 ->
              _menhir_run_043 _menhir_stack _menhir_lexbuf _menhir_lexer _v_22 MenhirState112
          | QUOTED_STRING _v_23 ->
              _menhir_run_076 _menhir_stack _menhir_lexbuf _menhir_lexer _v_23 MenhirState112
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | LBRACE ->
              _menhir_run_081 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | INTEGER _v_24 ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v_24 MenhirState112
          | IDENT_STRING _v_25 ->
              _menhir_run_093 _menhir_stack _menhir_lexbuf _menhir_lexer _v_25 MenhirState112
          | FLOAT _v_26 ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v_26 MenhirState112
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState112
          | EOF | NEWLINE | RBRACE | SEMI ->
              let _v_27 = _menhir_action_14 () in
              _menhir_run_113 _menhir_stack _menhir_lexbuf _menhir_lexer _v_27 _tok
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf MenhirState112)
      | FLOAT _v_28 ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (_endpos__x_, _startpos__x_, _x) = (_endpos, _startpos, _v_28) in
              let _ = _menhir_action_26 _endpos__x_ _startpos__x_ _x in
              _menhir_error_goto_node _menhir_stack _menhir_s)
      | FALSE ->
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | _ ->
              let (x, _endpos_x_, _startpos_x_) = ((), _endpos, _startpos) in
              let _ = _menhir_action_23 _endpos_x_ _startpos_x_ x in
              _menhir_error_goto_node _menhir_stack _menhir_s)
      | _ ->
          _eRR ()
  
  and _menhir_run_093 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
      let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | EQ ->
          let _menhir_stack = MenhirCell1_IDENT_STRING (_menhir_stack, _menhir_s, _v, _startpos, _endpos) in
          let _startpos = _menhir_lexbuf.Lexing.lex_start_p in
          let _endpos = _menhir_lexbuf.Lexing.lex_curr_p in
          let _menhir_stack = MenhirCell0_EQ (_menhir_stack, _startpos, _endpos) in
          let _menhir_s = MenhirState094 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | TRUE ->
              _menhir_run_038 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | RAW_STRING _v ->
              _menhir_run_045 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | QUOTED_STRING _v ->
              _menhir_run_046 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NULL ->
              _menhir_run_047 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LPAREN ->
              _menhir_run_048 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | INTEGER _v ->
              _menhir_run_069 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | IDENT_STRING _v ->
              _menhir_run_070 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FLOAT _v ->
              _menhir_run_071 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | FALSE ->
              _menhir_run_072 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _menhir_error_run_037 _menhir_stack _menhir_lexbuf _menhir_s)
      | EOF | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LBRACE | LPAREN | NEWLINE | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | SEMI | SLASHDASH | TRUE ->
          let (_endpos_id_, _startpos_id_, id) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_59 _endpos_id_ _startpos_id_ id in
          _menhir_goto_value _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_id_ _startpos_id_ _v _menhir_s _tok
      | _ ->
          let (_endpos_id_, _startpos_id_, id) = (_endpos, _startpos, _v) in
          let _v = _menhir_action_59 _endpos_id_ _startpos_id_ id in
          _menhir_error_goto_value _menhir_stack _menhir_lexbuf _endpos_id_ _startpos_id_ _v _menhir_s
  
  and _menhir_run_102 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_RAW_STRING -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_RAW_STRING (_menhir_stack, rstr, _, _endpos_rstr_) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, annot) = _menhir_stack in
      let entities = _v in
      let _v = _menhir_action_21 _endpos_rstr_ annot entities rstr in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_node : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState082 ->
          _menhir_run_118 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState007 ->
          _menhir_run_132 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_118 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | SEMI ->
          let _menhir_stack = MenhirCell1_node (_menhir_stack, _menhir_s, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | NEWLINE ->
              _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState119
          | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | RPAREN | SLASHDASH | TRUE ->
              let _v_0 = _menhir_action_12 () in
              _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState119 _tok
          | _ ->
              _eRR ())
      | NEWLINE ->
          let _menhir_stack = MenhirCell1_node (_menhir_stack, _menhir_s, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | NEWLINE ->
              _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState121
          | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RBRACE | RPAREN | SLASHDASH | TRUE ->
              let _v_1 = _menhir_action_12 () in
              _menhir_run_082 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState121 _tok
          | _ ->
              _eRR ())
      | RBRACE ->
          let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
          let x = _v in
          let _v = _menhir_action_05 x in
          _menhir_goto_children_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_132 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | SEMI ->
          let _menhir_stack = MenhirCell1_node (_menhir_stack, _menhir_s, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | NEWLINE ->
              _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState133
          | EOF | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RPAREN | SLASHDASH | TRUE ->
              let _v_0 = _menhir_action_12 () in
              _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState133 _tok
          | _ ->
              _eRR ())
      | NEWLINE ->
          let _menhir_stack = MenhirCell1_node (_menhir_stack, _menhir_s, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | NEWLINE ->
              _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState135
          | EOF | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RPAREN | SLASHDASH | TRUE ->
              let _v_1 = _menhir_action_12 () in
              _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState135 _tok
          | _ ->
              _eRR ())
      | EOF ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_list_NEWLINE_ (_menhir_stack, _menhir_s, _) = _menhir_stack in
          let x = _v in
          let _v = _menhir_action_32 x in
          _menhir_goto_nodes _menhir_stack _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_107 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_QUOTED_STRING -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_QUOTED_STRING (_menhir_stack, str, _, _endpos_str_) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, annot) = _menhir_stack in
      let entities = _v in
      let _v = _menhir_action_20 _endpos_str_ annot entities str in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_113 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_IDENT_STRING -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_IDENT_STRING (_menhir_stack, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _menhir_s, annot) = _menhir_stack in
      let entities = _v in
      let _v = _menhir_action_19 _endpos_id_ _startpos_id_ annot entities id in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_104 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_entity -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_entity (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_15 x xs in
      _menhir_goto_list_entity_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_list_entity_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState092 ->
          _menhir_run_102 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState103 ->
          _menhir_run_104 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState106 ->
          _menhir_run_107 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState112 ->
          _menhir_run_113 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState036 ->
          _menhir_run_127 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
      | MenhirState128 ->
          _menhir_run_129 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
      | MenhirState130 ->
          _menhir_run_131 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_127 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_RAW_STRING -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _tok ->
      let MenhirCell0_RAW_STRING (_menhir_stack, rstr, _, _) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let _v = _menhir_action_18 rstr in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_129 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_QUOTED_STRING -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _tok ->
      let MenhirCell0_QUOTED_STRING (_menhir_stack, str, _, _) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let _v = _menhir_action_17 str in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_131 : type  ttv_stack. ((((ttv_stack, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_, _menhir_box_document) _menhir_cell1_option_type_annot_ _menhir_cell0_IDENT_STRING -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _tok ->
      let MenhirCell0_IDENT_STRING (_menhir_stack, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let MenhirCell1_option_type_annot_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _) = _menhir_stack in
      let _v = _menhir_action_16 _endpos_id_ _startpos_id_ id in
      _menhir_goto_node _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_125 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_SLASHDASH, _menhir_box_document) _menhir_cell1_list_NEWLINE_ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _tok ->
      let MenhirCell1_list_NEWLINE_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_SLASHDASH (_menhir_stack, _menhir_s, _startpos__1_) = _menhir_stack in
      let _endpos__3_ = _endpos in
      let _v = _menhir_action_07 _endpos__3_ _startpos__1_ in
      _menhir_goto_entity _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_075 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_RAW_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_RAW_STRING (_menhir_stack, _menhir_s, rstr, _startpos_rstr_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_43 annot rstr value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_rstr_ _v _menhir_s _tok
  
  and _menhir_run_078 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_QUOTED_STRING (_menhir_stack, _menhir_s, str, _startpos_str_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_42 str value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_str_ _v _menhir_s _tok
  
  and _menhir_run_080 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_QUOTED_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_QUOTED_STRING (_menhir_stack, _menhir_s, str, _startpos_str_, _) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_41 annot str value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_str_ _v _menhir_s _tok
  
  and _menhir_run_095 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_IDENT_STRING (_menhir_stack, _menhir_s, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_40 _endpos_id_ _startpos_id_ id value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_id_ _v _menhir_s _tok
  
  and _menhir_run_097 : type  ttv_stack. ((ttv_stack, _menhir_box_document) _menhir_cell1_IDENT_STRING _menhir_cell0_EQ, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell1_type_annot (_menhir_stack, _, annot, _) = _menhir_stack in
      let MenhirCell0_EQ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_IDENT_STRING (_menhir_stack, _menhir_s, id, _startpos_id_, _endpos_id_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_39 _endpos_id_ _startpos_id_ annot id value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_id_ _v _menhir_s _tok
  
  and _menhir_run_098 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _ -> (ttv_stack, _menhir_box_document) _menhir_state -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _startpos _v _menhir_s _tok ->
      let (_endpos_value_, _startpos_value_, value) = (_endpos, _startpos, _v) in
      let _v = _menhir_action_46 value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_value_ _v _menhir_s _tok
  
  and _menhir_run_100 : type  ttv_stack. (ttv_stack, _menhir_box_document) _menhir_cell1_type_annot -> _ -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _endpos _v _tok ->
      let MenhirCell1_type_annot (_menhir_stack, _menhir_s, annot, _startpos_annot_) = _menhir_stack in
      let (_endpos_value_, value) = (_endpos, _v) in
      let _v = _menhir_action_45 annot value in
      _menhir_goto_prop_or_arg _menhir_stack _menhir_lexbuf _menhir_lexer _endpos_value_ _startpos_annot_ _v _menhir_s _tok
  
  let _menhir_goto_option_BOM_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _menhir_stack = MenhirCell0_option_BOM_ (_menhir_stack, _v) in
      match (_tok : MenhirBasics.token) with
      | NEWLINE ->
          _menhir_run_003 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState002
      | EOF | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NULL | QUOTED_STRING _ | RAW_STRING _ | RPAREN | SLASHDASH | TRUE ->
          let _v_0 = _menhir_action_12 () in
          _menhir_run_007 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState002 _tok
      | _ ->
          _eRR ()
  
  let _menhir_run_000 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_document =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | BOM ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let x = () in
          let _v = _menhir_action_36 x in
          _menhir_goto_option_BOM_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | EOF | EQ | FALSE | FLOAT _ | IDENT_STRING _ | INTEGER _ | LPAREN | NEWLINE | NULL | QUOTED_STRING _ | RAW_STRING _ | RPAREN | SLASHDASH | TRUE ->
          let _v = _menhir_action_35 () in
          _menhir_goto_option_BOM_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
end

let document =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_document v = _menhir_run_000 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v