recover_parser.ml — Coverage report

open Parser

module Default = struct

    open Mo_def.Syntax

    (* mk_stub_expr loc = VarE ("__error_recovery_var__" @~ loc) @? loc *)
    let mk_stub_expr loc = LoopE (BlockE [] @? loc, None) @? loc
 
  let [@warning "-27"] value (type a) loc : a MenhirInterpreter.symbol -> a = function
    | MenhirInterpreter.T MenhirInterpreter.T_error -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_XOROP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_XORASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPSUBOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPSUBASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPPOWOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPPOWASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPMULOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPMULASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPADDOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WRAPADDASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WITH -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_WHILE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_VAR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_UNDERSCORE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_TYPE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_TRY -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_TRANSIENT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_TO_CANDID -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_THROW -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_TEXT -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_SYSTEM -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SWITCH -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SUBOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SUB -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_STABLE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SHROP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SHRASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SHLOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SHLASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SHARED -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SEMICOLON_EOL -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_SEMICOLON -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_RPAR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ROTROP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ROTRASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ROTLOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ROTLASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_RETURN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_RCURLY -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_RBRACKET -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_QUEST -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_QUERY -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PUBLIC -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PRIVATE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PRIM -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_POWOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_POWASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PLUSASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PIPE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_PERSISTENT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_OROP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ORASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_OR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_OLD -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_OBJECT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_NULL -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_NOT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_NEQOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_NAT -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_MULOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_MULASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_MODULE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_MODOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_MODASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_MINUSASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LTOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LPAR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LOOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LET -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LEOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LCURLY -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LBRACKET -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_LABEL -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_INVARIANT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_IN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_IMPORT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_IMPLIES -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_IGNORE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_IF -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ID -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_HASH -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_GTOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_GT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_GEOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_FUNC -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_FROM_CANDID -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_FOR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_FLOAT -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_FLEXIBLE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_FINALLY -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_EQOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_EQ -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_EOF -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ELSE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DOT_NUM -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_DOT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DO -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DIVOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DIVASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DISALLOWED -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DEBUG_SHOW -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_DEBUG -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_CONTINUE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_COMPOSITE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_COMMA -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_COLON -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_CLASS -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_CHAR -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_CATCH -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_CATASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_CASE -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_BREAK -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_BOOL -> raise Not_found
    | MenhirInterpreter.T MenhirInterpreter.T_BANG -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_AWAITSTAR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_AWAITQUEST -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_AWAIT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ASYNCSTAR -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ASYNC -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ASSERT -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ARROW -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ANDOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ANDASSIGN -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_AND -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ADDOP -> ()
    | MenhirInterpreter.T MenhirInterpreter.T_ACTOR -> ()
    | MenhirInterpreter.N MenhirInterpreter.N_vis -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_variant -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_un -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_tag -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_pre -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_obj -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_nullary -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_nobin -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_item -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_dec -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_bind -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ_args -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_typ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_start -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_stab_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_stab -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist1_typ_tag_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist1_exp_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_tag_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_item_COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_dec_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_bind_COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_stab_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_pre_stab_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_pat_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_pat_bin_COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_imp_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_imp_SEMICOLON_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_nonvar_ob__COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_ob__COMMA_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_field_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_SEMICOLON_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_seplist_case_semicolon_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_separated_nonempty_list_AND_exp_post_ob__ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pre_stab_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_path -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_un -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_plain -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_opt -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_nullary -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat_bin -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_pat -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_parse_stab_sig -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_parse_prog_interactive -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_parse_prog -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_parse_module_header -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_option_typ_args_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_option_query_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_option_exp_post_ob__ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_option_exp_nullary_ob__ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_option_EQ_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_obj_or_class_dec -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_obj_body -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_ob -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_lit -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_list_preceded_COMMA_typ_bind__ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_list_preceded_COMMA_typ__ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_inst -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_import_list -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_imp -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_func_pat -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_func_body -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_un_ob_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_un_bl_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_post_ob_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_post_bl_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_plain -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_obj -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nullary_ob_ -> mk_stub_expr loc
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nullary_bl_ -> mk_stub_expr loc
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nonvar_ob_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nonvar_bl_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nondec_ob_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nondec_bl_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_nest -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_bin_ob_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_bin_bl_ -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_exp_ob_ -> mk_stub_expr loc
    | MenhirInterpreter.N MenhirInterpreter.N_exp_bl_ -> mk_stub_expr loc
    | MenhirInterpreter.N MenhirInterpreter.N_dec_var -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_dec_nonvar -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_dec_field -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_dec -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_class_body -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_catch -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_case -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_block -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_bl -> raise Not_found
    | MenhirInterpreter.N MenhirInterpreter.N_annot_opt -> raise Not_found
end

let default_value = Default.value

open MenhirInterpreter

type action =
  | Abort
  | R of int
  | S : 'a symbol -> action
  | Sub of action list

type decision =
  | Nothing
  | One of action list
  | Select of (int -> action list)

let depth =
  [|0;1;1;1;1;1;1;1;1;1;1;1;2;1;2;1;1;1;1;1;1;1;2;2;1;1;1;2;3;1;1;2;1;2;1;1;1;2;3;1;2;1;2;3;4;1;1;2;3;1;2;3;4;5;6;1;2;1;1;2;3;4;5;6;1;7;8;1;1;1;2;1;2;1;1;1;1;1;2;1;3;1;1;2;3;2;3;2;3;2;3;2;3;1;2;2;9;4;5;6;7;8;3;4;5;3;4;2;3;7;3;4;1;2;3;4;5;6;7;8;3;4;5;6;7;2;3;2;3;4;2;3;2;3;1;2;1;1;2;3;2;3;3;2;3;1;2;3;2;3;2;3;2;3;5;6;7;2;3;4;5;6;4;2;3;2;3;4;5;6;7;8;3;4;5;6;7;2;3;4;1;2;3;1;2;1;3;2;3;2;3;4;5;6;7;8;9;4;5;6;7;8;3;4;5;2;2;3;1;1;2;1;3;1;1;2;1;1;1;2;3;2;3;4;2;3;1;2;3;2;3;2;2;3;1;2;3;2;1;3;4;1;2;3;1;2;3;2;3;1;0;1;2;1;1;1;1;2;1;1;2;1;1;2;3;4;1;2;3;4;5;6;7;3;4;1;1;1;1;1;1;1;1;1;1;1;1;2;3;4;1;1;1;1;1;1;2;3;1;2;1;2;1;1;1;2;1;2;1;3;4;5;6;1;2;3;4;5;2;3;4;1;2;3;4;5;6;3;4;5;2;1;7;8;1;1;1;1;1;1;1;1;2;1;1;2;3;4;5;6;7;1;2;3;2;1;8;3;4;5;6;7;3;4;5;6;7;3;4;5;1;1;2;3;4;5;6;3;4;5;6;3;4;5;1;1;1;2;3;4;5;1;2;3;2;3;1;1;2;1;2;3;4;5;2;3;4;5;2;3;4;1;2;3;4;5;2;3;4;5;2;3;4;1;2;1;1;1;1;2;3;1;2;3;1;1;2;3;1;1;1;1;2;2;1;1;2;1;2;3;3;4;2;3;2;1;1;2;1;2;1;1;1;2;1;2;1;2;1;1;2;1;1;2;1;2;3;1;1;2;3;4;1;2;3;2;1;1;2;3;1;1;2;1;1;2;3;1;2;1;2;3;4;1;2;1;2;3;4;5;6;7;8;9;4;5;6;7;8;4;5;6;7;8;4;5;6;7;1;4;5;6;7;4;5;6;7;8;1;2;3;4;1;2;3;1;1;1;2;3;2;1;1;2;1;1;2;1;2;3;1;1;1;1;1;1;2;3;1;2;1;2;3;4;5;2;3;4;5;2;2;3;4;1;1;1;2;1;1;1;1;1;2;1;2;1;3;2;3;2;3;2;3;2;3;2;3;2;3;2;1;2;1;1;1;1;1;1;2;1;2;1;2;3;4;3;4;3;4;5;6;3;4;5;6;3;4;3;4;2;1;1;1;1;2;3;2;3;1;1;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;2;3;3;4;2;2;3;2;2;3;4;3;4;3;4;5;6;3;4;5;6;3;4;3;4;2;2;2;2;2;2;2;2;5;6;7;3;4;5;2;4;2;5;6;7;2;4;3;4;1;2;3;2;3;2;3;4;3;4;5;2;3;1;2;3;3;4;5;6;2;3;1;2;3;4;4;5;1;2;3;4;5;6;7;8;4;5;6;7;8;4;5;6;7;4;5;6;7;8;1;2;3;4;5;6;3;4;5;6;7;1;2;3;6;7;1;6;6;7;8;1;2;3;2;3;1;2;2;3;2;2;3;2;2;3;4;2;2;2;4;4;2;2;3;4;3;4;5;6;2;3;4;5;6;7;6;7;8;3;4;2;3;2;2;2;1;2;3;4;5;6;2;3;1;1;1;1;2;3;2;3;6;2;3;2;3;1;2;3;2;3;9;4;5;6;7;3;4;2;3;4;1;2;3;3;4;5;3;3;4;5;5;1;2;3;2;3;4;5;1;2;3;2;3;2;3;4;5;1;2;3;2;2;2;3;4;5;2;2;2;2;2;2;2;3;4;3;4;5;5;2;3;3;4;2;2;3;4;1;0;1;2;3;4;1;2;3;1;2;3;1;0;1;1;2;3;4;5;6;7;3;4;1;2;3;2;3;2;3;4;5;1;2;3;4;5;2;3;4;1;2;3;4;5;2;3;4;6;7;8;9;1;2;3;4;5;2;3;4;1;2;3;2;3;10;11;12;1;2;3;2;3;4;5;6;1;|]

let can_pop (type a) : a terminal -> bool = function
  | T_XOROP -> true
  | T_XORASSIGN -> true
  | T_WRAPSUBOP -> true
  | T_WRAPSUBASSIGN -> true
  | T_WRAPPOWOP -> true
  | T_WRAPPOWASSIGN -> true
  | T_WRAPMULOP -> true
  | T_WRAPMULASSIGN -> true
  | T_WRAPADDOP -> true
  | T_WRAPADDASSIGN -> true
  | T_WITH -> true
  | T_WHILE -> true
  | T_VAR -> true
  | T_UNDERSCORE -> true
  | T_TYPE -> true
  | T_TRY -> true
  | T_TRANSIENT -> true
  | T_TO_CANDID -> true
  | T_THROW -> true
  | T_SYSTEM -> true
  | T_SWITCH -> true
  | T_SUBOP -> true
  | T_SUB -> true
  | T_STABLE -> true
  | T_SHROP -> true
  | T_SHRASSIGN -> true
  | T_SHLOP -> true
  | T_SHLASSIGN -> true
  | T_SHARED -> true
  | T_SEMICOLON_EOL -> true
  | T_SEMICOLON -> true
  | T_RPAR -> true
  | T_ROTROP -> true
  | T_ROTRASSIGN -> true
  | T_ROTLOP -> true
  | T_ROTLASSIGN -> true
  | T_RETURN -> true
  | T_RCURLY -> true
  | T_RBRACKET -> true
  | T_QUEST -> true
  | T_QUERY -> true
  | T_PUBLIC -> true
  | T_PRIVATE -> true
  | T_PRIM -> true
  | T_POWOP -> true
  | T_POWASSIGN -> true
  | T_PLUSASSIGN -> true
  | T_PIPE -> true
  | T_PERSISTENT -> true
  | T_OROP -> true
  | T_ORASSIGN -> true
  | T_OR -> true
  | T_OLD -> true
  | T_OBJECT -> true
  | T_NULL -> true
  | T_NOT -> true
  | T_NEQOP -> true
  | T_MULOP -> true
  | T_MULASSIGN -> true
  | T_MODULE -> true
  | T_MODOP -> true
  | T_MODASSIGN -> true
  | T_MINUSASSIGN -> true
  | T_LTOP -> true
  | T_LT -> true
  | T_LPAR -> true
  | T_LOOP -> true
  | T_LET -> true
  | T_LEOP -> true
  | T_LCURLY -> true
  | T_LBRACKET -> true
  | T_LABEL -> true
  | T_INVARIANT -> true
  | T_IN -> true
  | T_IMPORT -> true
  | T_IMPLIES -> true
  | T_IGNORE -> true
  | T_IF -> true
  | T_HASH -> true
  | T_GTOP -> true
  | T_GT -> true
  | T_GEOP -> true
  | T_FUNC -> true
  | T_FROM_CANDID -> true
  | T_FOR -> true
  | T_FLEXIBLE -> true
  | T_FINALLY -> true
  | T_EQOP -> true
  | T_EQ -> true
  | T_ELSE -> true
  | T_DOT -> true
  | T_DO -> true
  | T_DIVOP -> true
  | T_DIVASSIGN -> true
  | T_DISALLOWED -> true
  | T_DEBUG_SHOW -> true
  | T_DEBUG -> true
  | T_CONTINUE -> true
  | T_COMPOSITE -> true
  | T_COMMA -> true
  | T_COLON -> true
  | T_CLASS -> true
  | T_CATCH -> true
  | T_CATASSIGN -> true
  | T_CASE -> true
  | T_BREAK -> true
  | T_BANG -> true
  | T_AWAITSTAR -> true
  | T_AWAITQUEST -> true
  | T_AWAIT -> true
  | T_ASYNCSTAR -> true
  | T_ASYNC -> true
  | T_ASSIGN -> true
  | T_ASSERT -> true
  | T_ARROW -> true
  | T_ANDOP -> true
  | T_ANDASSIGN -> true
  | T_AND -> true
  | T_ADDOP -> true
  | T_ACTOR -> true
  | _ -> false

let recover =
  let r0 = S (T T_EOF) :: [R 339] in
  let r1 = R 401 :: R 284 :: r0 in
  let r2 = S (T T_RPAR) :: [R 357] in
  let r3 = S (T T_NULL) :: [R 292] in
  let r4 = S (T T_UNDERSCORE) :: [R 354] in
  let r5 = Sub (r4) :: [R 350] in
  let r6 = Sub (r5) :: [R 358] in
  let r7 = S (T T_RCURLY) :: [R 351] in
  let r8 = S (T T_RPAR) :: [R 484] in
  let r9 = R 434 :: r8 in
  let r10 = S (T T_LPAR) :: r9 in
  let r11 = Sub (r10) :: [R 499] in
  let r12 = Sub (r11) :: [R 491] in
  let r13 = Sub (r12) :: [R 471] in
  let r14 = Sub (r13) :: [R 454] in
  let r15 = Sub (r13) :: [R 475] in
  let r16 = S (T T_ARROW) :: r15 in
  let r17 = Sub (r11) :: r16 in
  let r18 = Sub (r13) :: [R 478] in
  let r19 = S (T T_ARROW) :: r18 in
  let r20 = Sub (r13) :: [R 479] in
  let r21 = S (T T_ARROW) :: r20 in
  let r22 = Sub (r11) :: r21 in
  let r23 = S (T T_GT) :: r22 in
  let r24 = Sub (r13) :: [R 480] in
  let r25 = S (T T_ARROW) :: r24 in
  let r26 = Sub (r11) :: r25 in
  let r27 = S (T T_GT) :: r26 in
  let r28 = S (T T_RCURLY) :: [R 490] in
  let r29 = R 430 :: r28 in
  let r30 = S (T T_LCURLY) :: r29 in
  let r31 = Sub (r14) :: [R 465] in
  let r32 = Sub (r13) :: [R 473] in
  let r33 = S (T T_ARROW) :: r32 in
  let r34 = Sub (r11) :: r33 in
  let r35 = S (T T_GT) :: r34 in
  let r36 = Sub (r13) :: [R 474] in
  let r37 = S (T T_ARROW) :: r36 in
  let r38 = Sub (r11) :: r37 in
  let r39 = S (T T_GT) :: r38 in
  let r40 = Sub (r14) :: [R 462] in
  let r41 = Sub (r14) :: [R 463] in
  let r42 = S (T T_EQ) :: r41 in
  let r43 = S (T T_GT) :: r42 in
  let r44 = R 423 :: [R 425] in
  let r45 = S (T T_RBRACKET) :: [R 486] in
  let r46 = S (T T_RBRACKET) :: [R 487] in
  let r47 = Sub (r13) :: [R 481] in
  let r48 = S (T T_ARROW) :: r47 in
  let r49 = Sub (r11) :: r48 in
  let r50 = Sub (r13) :: [R 482] in
  let r51 = S (T T_ARROW) :: r50 in
  let r52 = Sub (r11) :: r51 in
  let r53 = S (T T_GT) :: r52 in
  let r54 = Sub (r13) :: [R 483] in
  let r55 = S (T T_ARROW) :: r54 in
  let r56 = Sub (r11) :: r55 in
  let r57 = S (T T_GT) :: r56 in
  let r58 = S (T T_GT) :: [R 457] in
  let r59 = R 420 :: [R 422] in
  let r60 = Sub (r14) :: [R 464] in
  let r61 = Sub (r14) :: [R 467] in
  let r62 = S (T T_COLON) :: r61 in
  let r63 = Sub (r10) :: r62 in
  let r64 = S (T T_GT) :: r63 in
  let r65 = Sub (r14) :: [R 468] in
  let r66 = S (T T_COLON) :: r65 in
  let r67 = Sub (r10) :: r66 in
  let r68 = S (T T_GT) :: r67 in
  let r69 = Sub (r14) :: [R 466] in
  let r70 = R 437 :: [R 439] in
  let r71 = R 430 :: [R 432] in
  let r72 = R 434 :: [R 436] in
  let r73 = Sub (r13) :: [R 476] in
  let r74 = S (T T_ARROW) :: r73 in
  let r75 = Sub (r11) :: r74 in
  let r76 = S (T T_GT) :: r75 in
  let r77 = Sub (r13) :: [R 477] in
  let r78 = S (T T_ARROW) :: r77 in
  let r79 = Sub (r11) :: r78 in
  let r80 = S (T T_GT) :: r79 in
  let r81 = Sub (r6) :: [R 345] in
  let r82 = Sub (r81) :: [R 344] in
  let r83 = R 408 :: [R 410] in
  let r84 = R 405 :: [R 407] in
  let r85 = R 401 :: [R 403] in
  let r86 = S (T T_EOF) :: [R 340] in
  let r87 = R 380 :: r86 in
  let r88 = R 401 :: r87 in
  let r89 = S (N N_exp_nullary_ob_) :: [R 234] in
  let r90 = Sub (r89) :: [R 259] in
  let r91 = S (T T_RPAR) :: [R 273] in
  let r92 = R 388 :: r91 in
  let r93 = S (N N_exp_bl_) :: [R 97] in
  let r94 = Sub (r93) :: [R 192] in
  let r95 = S (T T_RPAR) :: [R 224] in
  let r96 = R 388 :: r95 in
  let r97 = S (N N_exp_ob_) :: [R 27] in
  let r98 = S (T T_EQ) :: r97 in
  let r99 = Sub (r14) :: [R 19] in
  let r100 = Sub (r14) :: [R 20] in
  let r101 = S (T T_EQ) :: r100 in
  let r102 = S (T T_GT) :: r101 in
  let r103 = Sub (r93) :: [R 189] in
  let r104 = S (T T_FINALLY) :: r103 in
  let r105 = S (T T_RCURLY) :: [R 220] in
  let r106 = S (T T_RCURLY) :: [R 191] in
  let r107 = R 373 :: r106 in
  let r108 = S (T T_LCURLY) :: r107 in
  let r109 = Sub (r93) :: [R 8] in
  let r110 = Sub (r93) :: [R 138] in
  let r111 = Sub (r93) :: [R 135] in
  let r112 = S (T T_FINALLY) :: r111 in
  let r113 = S (T T_RPAR) :: [R 257] in
  let r114 = R 388 :: r113 in
  let r115 = Sub (r4) :: [R 280] in
  let r116 = S (N N_exp_ob_) :: [R 275] in
  let r117 = S (T T_EQ) :: r116 in
  let r118 = Sub (r117) :: [R 22] in
  let r119 = R 5 :: r118 in
  let r120 = Sub (r115) :: r119 in
  let r121 = S (T T_FUNC) :: r120 in
  let r122 = R 353 :: r121 in
  let r123 = S (T T_RCURLY) :: [R 299] in
  let r124 = R 384 :: r123 in
  let r125 = S (T T_LCURLY) :: r124 in
  let r126 = Sub (r125) :: [R 12] in
  let r127 = Sub (r126) :: [R 315] in
  let r128 = R 5 :: r127 in
  let r129 = Sub (r115) :: r128 in
  let r130 = S (T T_CLASS) :: r129 in
  let r131 = Sub (r4) :: [R 281] in
  let r132 = S (T T_GT) :: r131 in
  let r133 = Sub (r4) :: [R 282] in
  let r134 = S (T T_GT) :: r133 in
  let r135 = Sub (r4) :: [R 278] in
  let r136 = S (T T_GT) :: r135 in
  let r137 = Sub (r4) :: [R 279] in
  let r138 = S (T T_GT) :: r137 in
  let r139 = S (T T_RETURN) :: R 172 :: R 15 :: [R 17] in
  let r140 = Sub (r117) :: [R 23] in
  let r141 = R 5 :: r140 in
  let r142 = Sub (r115) :: r141 in
  let r143 = S (T T_FUNC) :: r142 in
  let r144 = Sub (r126) :: [R 320] in
  let r145 = R 5 :: r144 in
  let r146 = Sub (r115) :: r145 in
  let r147 = S (T T_CLASS) :: r146 in
  let r148 = Sub (r126) :: [R 318] in
  let r149 = R 5 :: r148 in
  let r150 = Sub (r115) :: r149 in
  let r151 = Sub (r126) :: [R 321] in
  let r152 = R 5 :: r151 in
  let r153 = Sub (r115) :: r152 in
  let r154 = S (T T_RCURLY) :: [R 7] in
  let r155 = R 380 :: r154 in
  let r156 = Sub (r125) :: [R 305] in
  let r157 = R 328 :: r156 in
  let r158 = R 5 :: r157 in
  let r159 = Sub (r125) :: [R 304] in
  let r160 = R 328 :: r159 in
  let r161 = Sub (r126) :: [R 310] in
  let r162 = R 5 :: r161 in
  let r163 = S (T T_RCURLY) :: [R 137] in
  let r164 = R 373 :: r163 in
  let r165 = S (T T_LCURLY) :: r164 in
  let r166 = R 373 :: [R 375] in
  let r167 = S (T T_RBRACKET) :: [R 235] in
  let r168 = S (T T_RBRACKET) :: [R 236] in
  let r169 = Sub (r125) :: [R 301] in
  let r170 = R 328 :: r169 in
  let r171 = Sub (r125) :: [R 300] in
  let r172 = R 328 :: r171 in
  let r173 = Sub (r126) :: [R 308] in
  let r174 = R 5 :: r173 in
  let r175 = Sub (r125) :: [R 307] in
  let r176 = R 328 :: r175 in
  let r177 = Sub (r125) :: [R 306] in
  let r178 = R 328 :: r177 in
  let r179 = Sub (r126) :: [R 311] in
  let r180 = R 5 :: r179 in
  let r181 = S (N N_exp_ob_) :: [R 18] in
  let r182 = S (T T_EQ) :: r181 in
  let r183 = Sub (r82) :: r182 in
  let r184 = Sub (r93) :: [R 181] in
  let r185 = Sub (r3) :: [R 223] in
  let r186 = Sub (r185) :: [R 270] in
  let r187 = S (T T_GT) :: [R 286] in
  let r188 = S (T T_GT) :: [R 287] in
  let r189 = R 288 :: [R 289] in
  let r190 = S (T T_RBRACKET) :: [R 237] in
  let r191 = Sub (r93) :: [R 185] in
  let r192 = S (T T_RBRACKET) :: [R 226] in
  let r193 = S (T T_RBRACKET) :: [R 227] in
  let r194 = Sub (r117) :: [R 21] in
  let r195 = R 5 :: r194 in
  let r196 = Sub (r93) :: [R 195] in
  let r197 = S (T T_RPAR) :: r196 in
  let r198 = S (N N_exp_ob_) :: r197 in
  let r199 = S (T T_IN) :: r198 in
  let r200 = Sub (r82) :: r199 in
  let r201 = S (T T_LCURLY) :: r155 in
  let r202 = Sub (r93) :: [R 127] in
  let r203 = Sub (r93) :: [R 131] in
  let r204 = Sub (r93) :: [R 141] in
  let r205 = S (T T_RPAR) :: r204 in
  let r206 = S (N N_exp_ob_) :: r205 in
  let r207 = S (T T_IN) :: r206 in
  let r208 = Sub (r82) :: r207 in
  let r209 = Sub (r117) :: [R 24] in
  let r210 = R 5 :: r209 in
  let r211 = Sub (r115) :: r210 in
  let r212 = S (T T_FUNC) :: r211 in
  let r213 = R 353 :: r212 in
  let r214 = Sub (r126) :: [R 325] in
  let r215 = R 5 :: r214 in
  let r216 = Sub (r115) :: r215 in
  let r217 = S (T T_CLASS) :: r216 in
  let r218 = Sub (r126) :: [R 323] in
  let r219 = R 5 :: r218 in
  let r220 = Sub (r115) :: r219 in
  let r221 = Sub (r126) :: [R 326] in
  let r222 = R 5 :: r221 in
  let r223 = Sub (r115) :: r222 in
  let r224 = Sub (r126) :: [R 327] in
  let r225 = R 5 :: r224 in
  let r226 = Sub (r115) :: r225 in
  let r227 = Sub (r126) :: [R 324] in
  let r228 = R 5 :: r227 in
  let r229 = Sub (r115) :: r228 in
  let r230 = Sub (r126) :: [R 312] in
  let r231 = R 5 :: r230 in
  let r232 = Sub (r93) :: [R 145] in
  let r233 = Sub (r125) :: [R 302] in
  let r234 = R 328 :: r233 in
  let r235 = Sub (r126) :: [R 309] in
  let r236 = R 5 :: r235 in
  let r237 = Sub (r125) :: [R 303] in
  let r238 = R 328 :: r237 in
  let r239 = S (T T_RBRACKET) :: [R 228] in
  let r240 = Sub (r90) :: [R 62] in
  let r241 = Sub (r93) :: [R 199] in
  let r242 = Sub (r93) :: [R 204] in
  let r243 = S (T T_ASYNC) :: r242 in
  let r244 = Sub (r93) :: [R 201] in
  let r245 = S (T T_INVARIANT) :: r244 in
  let r246 = Sub (r93) :: [R 150] in
  let r247 = S (T T_ASYNC) :: r246 in
  let r248 = Sub (r93) :: [R 147] in
  let r249 = S (T T_INVARIANT) :: r248 in
  let r250 = R 395 :: [R 397] in
  let r251 = R 388 :: [R 390] in
  let r252 = S (T T_BANG) :: [R 232] in
  let r253 = Sub (r93) :: [R 120] in
  let r254 = S (T T_ASYNC) :: r253 in
  let r255 = S (T T_RPAR) :: r254 in
  let r256 = R 391 :: r255 in
  let r257 = R 5 :: [R 92] in
  let r258 = Sub (r126) :: [R 317] in
  let r259 = R 5 :: r258 in
  let r260 = Sub (r115) :: r259 in
  let r261 = S (T T_CLASS) :: r260 in
  let r262 = R 353 :: r261 in
  let r263 = Sub (r126) :: [R 313] in
  let r264 = R 5 :: r263 in
  let r265 = Sub (r115) :: r264 in
  let r266 = Sub (r126) :: [R 316] in
  let r267 = R 5 :: r266 in
  let r268 = Sub (r115) :: r267 in
  let r269 = Sub (r126) :: [R 314] in
  let r270 = R 5 :: r269 in
  let r271 = Sub (r115) :: r270 in
  let r272 = Sub (r126) :: [R 322] in
  let r273 = R 5 :: r272 in
  let r274 = Sub (r115) :: r273 in
  let r275 = S (T T_CLASS) :: r274 in
  let r276 = Sub (r126) :: [R 319] in
  let r277 = R 5 :: r276 in
  let r278 = Sub (r115) :: r277 in
  let r279 = S (T T_CLASS) :: r226 in
  let r280 = R 353 :: r279 in
  let r281 = R 391 :: [R 393] in
  let r282 = S (T T_BANG) :: [R 241] in
  let r283 = Sub (r93) :: [R 174] in
  let r284 = S (T T_ASYNC) :: r283 in
  let r285 = S (T T_RPAR) :: r284 in
  let r286 = R 391 :: r285 in
  let r287 = S (N N_exp_nullary_ob_) :: [R 260] in
  let r288 = R 380 :: [R 382] in
  let r289 = R 384 :: [R 386] in
  let r290 = Sub (r93) :: [R 9] in
  let r291 = Sub (r89) :: R 371 :: [R 372] in
  let r292 = Sub (r89) :: R 285 :: r287 in
  let r293 = S (T T_RPAR) :: r292 in
  let r294 = R 391 :: r293 in
  let r295 = S (T T_SEMICOLON_EOL) :: [R 341] in
  let r296 = R 377 :: r295 in
  let r297 = R 398 :: r296 in
  let r298 = R 377 :: [R 379] in
  let r299 = R 398 :: [R 400] in
  let r300 = S (T T_RCURLY) :: [R 342] in
  let r301 = R 416 :: r300 in
  let r302 = S (T T_LCURLY) :: r301 in
  let r303 = S (T T_ACTOR) :: r302 in
  let r304 = R 426 :: r303 in
  let r305 = Sub (r14) :: [R 460] in
  let r306 = Sub (r14) :: [R 461] in
  let r307 = S (T T_EQ) :: r306 in
  let r308 = S (T T_GT) :: r307 in
  let r309 = R 426 :: [R 428] in
  let r310 = S (T T_RPAR) :: [R 343] in
  let r311 = S (T T_RCURLY) :: r310 in
  let r312 = R 416 :: r311 in
  let r313 = S (T T_LCURLY) :: r312 in
  let r314 = S (T T_COMMA) :: r313 in
  let r315 = S (T T_RCURLY) :: r314 in
  let r316 = R 412 :: r315 in
  let r317 = Sub (r14) :: [R 368] in
  let r318 = Sub (r14) :: [R 367] in
  let r319 = Sub (r14) :: [R 370] in
  let r320 = Sub (r14) :: [R 369] in
  let r321 = Sub (r14) :: [R 452] in
  let r322 = Sub (r14) :: [R 451] in
  let r323 = R 416 :: [R 418] in
  let r324 = R 412 :: [R 414] in
  function
  | 0 -> One (R 453 :: Sub (r1) :: [R 0])
  | 1 -> One (r1)
  | 2 -> One ([Abort])
  | 3 -> One ([R 354])
  | 4 -> One ([R 297])
  | 5 -> One ([R 292])
  | 6 -> One ([R 294])
  | 7 -> One (R 405 :: r2)
  | 8 -> One (Sub (r3) :: [R 364])
  | 9 -> One ([R 295])
  | 10 -> One ([R 296])
  | 11 -> One ([R 293])
  | 12 -> One ([R 364])
  | 13 -> One (Sub (r3) :: [R 363])
  | 14 -> One ([R 363])
  | 15 -> One (Sub (r6) :: [R 361])
  | 16 -> One (R 408 :: r7)
  | 17 -> One (R 5 :: [R 348])
  | 18 -> One (Sub (r14) :: [R 4])
  | 19 -> One (R 334 :: r17)
  | 20 -> One ([R 335])
  | 21 -> One (S (T T_QUERY) :: [R 336])
  | 22 -> One ([R 336])
  | 23 -> One (r17)
  | 24 -> One (Sub (r11) :: [R 500])
  | 25 -> One (r9)
  | 26 -> One (Sub (r11) :: r19)
  | 27 -> One (R 423 :: r23)
  | 28 -> One (R 290 :: r27)
  | 29 -> One ([Abort])
  | 30 -> One ([R 459])
  | 31 -> One (Sub (r14) :: [R 458])
  | 32 -> One ([Abort])
  | 33 -> One ([R 492])
  | 34 -> One (Sub (r30) :: [R 495])
  | 35 -> One (r29)
  | 36 -> One ([Abort])
  | 37 -> One (S (T T_COLON) :: r31)
  | 38 -> One (r31)
  | 39 -> One (Sub (r30) :: [R 497])
  | 40 -> One ([R 497])
  | 41 -> One (R 423 :: r35)
  | 42 -> One (R 290 :: r39)
  | 43 -> One (r39)
  | 44 -> One (r38)
  | 45 -> One (r29)
  | 46 -> One ([Abort])
  | 47 -> One (S (T T_EQ) :: r40)
  | 48 -> One (R 423 :: r43)
  | 49 -> One (S (T T_COMMA) :: r44)
  | 50 -> One (r44)
  | 51 -> One ([R 425])
  | 52 -> One (r43)
  | 53 -> One (r42)
  | 54 -> One (r41)
  | 55 -> One (Sub (r14) :: r45)
  | 56 -> One (Sub (r14) :: r46)
  | 57 -> One ([R 365])
  | 58 -> One (S (T T_QUERY) :: r49)
  | 59 -> One (r49)
  | 60 -> One (R 423 :: r53)
  | 61 -> One (R 290 :: r57)
  | 62 -> One (r57)
  | 63 -> One (r56)
  | 64 -> One ([R 489])
  | 65 -> One (r55)
  | 66 -> One (r54)
  | 67 -> One (Sub (r12) :: [R 494])
  | 68 -> One (Sub (r12) :: [R 493])
  | 69 -> One (Sub (r30) :: [R 496])
  | 70 -> One ([R 496])
  | 71 -> One ([R 491])
  | 72 -> One ([R 493])
  | 73 -> One ([R 488])
  | 74 -> One ([R 499])
  | 75 -> One (R 337 :: [R 485])
  | 76 -> One (R 420 :: r58)
  | 77 -> One ([R 491])
  | 78 -> One (Sub (r13) :: [R 472])
  | 79 -> One ([R 471])
  | 80 -> One ([R 472])
  | 81 -> One ([R 454])
  | 82 -> One (S (T T_COMMA) :: r59)
  | 83 -> One (Sub (r14) :: [R 456])
  | 84 -> One ([R 456])
  | 85 -> One (Sub (r14) :: [R 455])
  | 86 -> One ([R 455])
  | 87 -> One (r59)
  | 88 -> One ([R 422])
  | 89 -> One (r58)
  | 90 -> One ([R 457])
  | 91 -> One ([Abort])
  | 92 -> One ([R 366])
  | 93 -> One ([R 338])
  | 94 -> One ([R 485])
  | 95 -> One ([R 494])
  | 96 -> One ([R 483])
  | 97 -> One (r53)
  | 98 -> One (r52)
  | 99 -> One (r51)
  | 100 -> One (r50)
  | 101 -> One ([R 482])
  | 102 -> One (r48)
  | 103 -> One (r47)
  | 104 -> One ([R 481])
  | 105 -> One (r46)
  | 106 -> One ([R 487])
  | 107 -> One (r45)
  | 108 -> One ([R 486])
  | 109 -> One ([R 463])
  | 110 -> One (r40)
  | 111 -> One ([R 462])
  | 112 -> One (S (T T_COLON) :: r60)
  | 113 -> One (R 423 :: r64)
  | 114 -> One (R 290 :: r68)
  | 115 -> One (r68)
  | 116 -> One (r67)
  | 117 -> One (r66)
  | 118 -> One (r65)
  | 119 -> One ([R 468])
  | 120 -> One (r64)
  | 121 -> One (r63)
  | 122 -> One (r62)
  | 123 -> One (r61)
  | 124 -> One ([R 467])
  | 125 -> One (r60)
  | 126 -> One ([R 464])
  | 127 -> One (S (T T_COLON) :: r69)
  | 128 -> One (r69)
  | 129 -> One ([R 466])
  | 130 -> One (S (T T_RCURLY) :: [R 501])
  | 131 -> One ([R 501])
  | 132 -> One (R 5 :: [R 498])
  | 133 -> One ([R 498])
  | 134 -> One ([R 444])
  | 135 -> One (R 437 :: [R 446])
  | 136 -> One ([Abort])
  | 137 -> One (S (T T_SEMICOLON) :: r70)
  | 138 -> One (R 437 :: [R 440])
  | 139 -> One ([R 440])
  | 140 -> One (r70)
  | 141 -> One ([R 439])
  | 142 -> One ([R 446])
  | 143 -> One (R 437 :: [R 445])
  | 144 -> One ([R 445])
  | 145 -> One (S (T T_SEMICOLON) :: r71)
  | 146 -> One (R 430 :: [R 433])
  | 147 -> One ([R 433])
  | 148 -> One (r71)
  | 149 -> One ([R 432])
  | 150 -> One (S (T T_RCURLY) :: [R 502])
  | 151 -> One ([R 502])
  | 152 -> One (r28)
  | 153 -> One ([R 490])
  | 154 -> One (r37)
  | 155 -> One (r36)
  | 156 -> One ([R 474])
  | 157 -> One (r35)
  | 158 -> One (r34)
  | 159 -> One (r33)
  | 160 -> One (r32)
  | 161 -> One ([R 473])
  | 162 -> One ([R 465])
  | 163 -> One ([R 495])
  | 164 -> One ([R 458])
  | 165 -> One (R 290 :: [R 291])
  | 166 -> One ([R 291])
  | 167 -> One (r27)
  | 168 -> One (r26)
  | 169 -> One (r25)
  | 170 -> One (r24)
  | 171 -> One ([R 480])
  | 172 -> One (r23)
  | 173 -> One (r22)
  | 174 -> One (r21)
  | 175 -> One (r20)
  | 176 -> One ([R 479])
  | 177 -> One (r19)
  | 178 -> One (r18)
  | 179 -> One ([R 478])
  | 180 -> One ([R 365])
  | 181 -> One (Sub (r14) :: [R 469])
  | 182 -> One ([R 469])
  | 183 -> One (S (T T_COMMA) :: r72)
  | 184 -> One (r72)
  | 185 -> One ([R 470])
  | 186 -> One ([R 436])
  | 187 -> One (r8)
  | 188 -> One ([R 484])
  | 189 -> One ([R 500])
  | 190 -> One (R 423 :: r76)
  | 191 -> One (R 290 :: r80)
  | 192 -> One (r80)
  | 193 -> One (r79)
  | 194 -> One (r78)
  | 195 -> One (r77)
  | 196 -> One ([R 477])
  | 197 -> One (r76)
  | 198 -> One (r75)
  | 199 -> One (r74)
  | 200 -> One (r73)
  | 201 -> One ([R 476])
  | 202 -> One (r16)
  | 203 -> One (r15)
  | 204 -> One ([R 475])
  | 205 -> One ([R 4])
  | 206 -> One ([R 348])
  | 207 -> One (Sub (r82) :: [R 349])
  | 208 -> One ([R 355])
  | 209 -> One ([Abort])
  | 210 -> One ([R 359])
  | 211 -> One ([R 350])
  | 212 -> One ([R 360])
  | 213 -> One ([R 356])
  | 214 -> One (Sub (r3) :: [R 362])
  | 215 -> One ([R 362])
  | 216 -> One ([R 345])
  | 217 -> One ([R 358])
  | 218 -> One ([R 344])
  | 219 -> One (Sub (r81) :: [R 346])
  | 220 -> One ([R 346])
  | 221 -> One (Sub (r14) :: [R 347])
  | 222 -> One ([R 347])
  | 223 -> One ([R 349])
  | 224 -> One (r7)
  | 225 -> One ([R 351])
  | 226 -> One (S (T T_SEMICOLON) :: r83)
  | 227 -> One (R 408 :: [R 411])
  | 228 -> One ([R 411])
  | 229 -> One (r83)
  | 230 -> One ([R 410])
  | 231 -> One ([R 361])
  | 232 -> One (r2)
  | 233 -> One ([R 357])
  | 234 -> One (S (T T_COMMA) :: r84)
  | 235 -> One (r84)
  | 236 -> One ([R 407])
  | 237 -> One ([Abort])
  | 238 -> One ([R 329])
  | 239 -> One ([Abort])
  | 240 -> One ([R 283])
  | 241 -> One ([R 284])
  | 242 -> One (r0)
  | 243 -> One ([R 339])
  | 244 -> One (S (T T_SEMICOLON) :: r85)
  | 245 -> One (R 401 :: [R 404])
  | 246 -> One ([R 404])
  | 247 -> One (r85)
  | 248 -> One ([R 403])
  | 249 -> One ([R 0])
  | 250 -> One (R 453 :: Sub (r88) :: [R 1])
  | 251 -> One (r88)
  | 252 -> One (r87)
  | 253 -> One (Sub (r90) :: [R 266])
  | 254 -> One (Sub (r90) :: [R 269])
  | 255 -> One ([R 219])
  | 256 -> One (S (T T_LPAR) :: r92)
  | 257 -> One (r92)
  | 258 -> One (S (N N_exp_nullary_ob_) :: r94)
  | 259 -> One ([Abort])
  | 260 -> One ([R 218])
  | 261 -> One (r96)
  | 262 -> One ([Abort])
  | 263 -> One (R 5 :: r98)
  | 264 -> One (r98)
  | 265 -> One (r97)
  | 266 -> One ([Abort])
  | 267 -> One (S (T T_EQ) :: r99)
  | 268 -> One (R 423 :: r102)
  | 269 -> One (r102)
  | 270 -> One (r101)
  | 271 -> One (r100)
  | 272 -> One ([R 20])
  | 273 -> One (r99)
  | 274 -> One ([R 19])
  | 275 -> One (Sub (r93) :: r104)
  | 276 -> One (Sub (r90) :: [R 250])
  | 277 -> One (Sub (r90) :: [R 265])
  | 278 -> One (Sub (r90) :: [R 263])
  | 279 -> One (Sub (r90) :: [R 267])
  | 280 -> One (Sub (r90) :: [R 271])
  | 281 -> One (Sub (r90) :: [R 268])
  | 282 -> One (r96)
  | 283 -> One (Sub (r93) :: [R 190])
  | 284 -> One (Sub (r90) :: [R 253])
  | 285 -> One (R 391 :: r105)
  | 286 -> One ([Abort])
  | 287 -> One (R 5 :: [R 93])
  | 288 -> One ([R 93])
  | 289 -> One (S (N N_exp_ob_) :: [R 95])
  | 290 -> One (S (N N_exp_nullary_ob_) :: r108)
  | 291 -> One ([R 217])
  | 292 -> One ([R 215])
  | 293 -> One ([R 223])
  | 294 -> One ([R 216])
  | 295 -> One ([R 298])
  | 296 -> One (r108)
  | 297 -> One (r107)
  | 298 -> One (Sub (r5) :: r109)
  | 299 -> One (r109)
  | 300 -> One (S (N N_exp_nullary_ob_) :: r110)
  | 301 -> One (r110)
  | 302 -> One ([R 214])
  | 303 -> One (Sub (r93) :: r112)
  | 304 -> One (S (T T_LPAR) :: r114)
  | 305 -> One (r114)
  | 306 -> One (R 334 :: r122)
  | 307 -> One (r122)
  | 308 -> One ([R 352])
  | 309 -> One (r121)
  | 310 -> One (S (T T_ACTOR) :: r130)
  | 311 -> One (r130)
  | 312 -> One (r129)
  | 313 -> One (R 423 :: r132)
  | 314 -> One (R 290 :: r134)
  | 315 -> One (r134)
  | 316 -> One (r133)
  | 317 -> One ([R 282])
  | 318 -> One (r132)
  | 319 -> One (r131)
  | 320 -> One ([R 281])
  | 321 -> One ([R 355])
  | 322 -> One (R 423 :: r136)
  | 323 -> One (R 290 :: r138)
  | 324 -> One (r138)
  | 325 -> One (r137)
  | 326 -> One ([R 279])
  | 327 -> One (r136)
  | 328 -> One (r135)
  | 329 -> One ([R 278])
  | 330 -> One ([R 277])
  | 331 -> One ([R 280])
  | 332 -> One (r128)
  | 333 -> One (r127)
  | 334 -> One (r124)
  | 335 -> One ([R 506])
  | 336 -> One ([R 505])
  | 337 -> One ([R 504])
  | 338 -> One (R 447 :: r139)
  | 339 -> One ([R 450])
  | 340 -> One ([R 449])
  | 341 -> One ([R 448])
  | 342 -> One (r139)
  | 343 -> One ([R 172])
  | 344 -> One (R 353 :: r143)
  | 345 -> One (r143)
  | 346 -> One (S (T T_ACTOR) :: r147)
  | 347 -> One (r147)
  | 348 -> One (r146)
  | 349 -> One (r145)
  | 350 -> One (r144)
  | 351 -> One (Sub (r125) :: [R 11])
  | 352 -> One (Sub (r125) :: [R 10])
  | 353 -> One ([R 10])
  | 354 -> One ([R 11])
  | 355 -> One ([R 12])
  | 356 -> One ([R 320])
  | 357 -> One (S (T T_CLASS) :: r150)
  | 358 -> One (r150)
  | 359 -> One (r149)
  | 360 -> One (r148)
  | 361 -> One ([R 318])
  | 362 -> One (S (T T_CLASS) :: r153)
  | 363 -> One (r153)
  | 364 -> One (r152)
  | 365 -> One (r151)
  | 366 -> One ([R 321])
  | 367 -> One (r142)
  | 368 -> One (r141)
  | 369 -> One (r140)
  | 370 -> One (r155)
  | 371 -> One (S (T T_ACTOR) :: r158)
  | 372 -> One (r158)
  | 373 -> One (R 5 :: r160)
  | 374 -> One (r160)
  | 375 -> One (r159)
  | 376 -> One ([R 304])
  | 377 -> One (Sub (r115) :: r162)
  | 378 -> One (r162)
  | 379 -> One (r161)
  | 380 -> One ([R 310])
  | 381 -> One (r157)
  | 382 -> One (r156)
  | 383 -> One ([R 305])
  | 384 -> One (Sub (r93) :: [R 205])
  | 385 -> One (Sub (r93) :: [R 136])
  | 386 -> One (S (N N_exp_nullary_ob_) :: r165)
  | 387 -> One (r165)
  | 388 -> One (r164)
  | 389 -> One (r163)
  | 390 -> One ([R 137])
  | 391 -> One (S (T T_SEMICOLON) :: r166)
  | 392 -> One (R 373 :: [R 376])
  | 393 -> One ([R 376])
  | 394 -> One (r166)
  | 395 -> One ([R 375])
  | 396 -> One (Sub (r90) :: [R 249])
  | 397 -> One (R 395 :: r167)
  | 398 -> One (R 395 :: r168)
  | 399 -> One (R 5 :: r170)
  | 400 -> One (R 5 :: r172)
  | 401 -> One (r172)
  | 402 -> One (r171)
  | 403 -> One ([R 300])
  | 404 -> One (Sub (r115) :: r174)
  | 405 -> One (r174)
  | 406 -> One (r173)
  | 407 -> One ([R 308])
  | 408 -> One (r170)
  | 409 -> One (r169)
  | 410 -> One ([R 301])
  | 411 -> One (R 5 :: r176)
  | 412 -> One (R 5 :: r178)
  | 413 -> One (r178)
  | 414 -> One (r177)
  | 415 -> One ([R 306])
  | 416 -> One (Sub (r115) :: r180)
  | 417 -> One (r180)
  | 418 -> One (r179)
  | 419 -> One ([R 311])
  | 420 -> One (r176)
  | 421 -> One (r175)
  | 422 -> One ([R 307])
  | 423 -> One (r96)
  | 424 -> One ([Abort])
  | 425 -> One (r96)
  | 426 -> One (Sub (r93) :: [R 193])
  | 427 -> One ([R 118])
  | 428 -> One (r183)
  | 429 -> One (r182)
  | 430 -> One (r181)
  | 431 -> One ([Abort])
  | 432 -> One (R 5 :: r184)
  | 433 -> One (r184)
  | 434 -> One (Sub (r90) :: [R 247])
  | 435 -> One ([Abort])
  | 436 -> One ([R 261])
  | 437 -> One ([R 262])
  | 438 -> One (Sub (r90) :: [R 274])
  | 439 -> One (Sub (r90) :: [R 272])
  | 440 -> One (Sub (r90) :: [R 264])
  | 441 -> One (r186)
  | 442 -> One ([R 270])
  | 443 -> One ([R 264])
  | 444 -> One ([R 259])
  | 445 -> One (R 420 :: r187)
  | 446 -> One (R 288 :: r188)
  | 447 -> One (Sub (r14) :: r189)
  | 448 -> One (r189)
  | 449 -> One ([R 289])
  | 450 -> One (r188)
  | 451 -> One ([R 287])
  | 452 -> One (r187)
  | 453 -> One ([R 286])
  | 454 -> One (S (N N_exp_ob_) :: r190)
  | 455 -> One (Sub (r93) :: [R 196])
  | 456 -> One ([Abort])
  | 457 -> One ([R 213])
  | 458 -> One (Sub (r90) :: [R 251])
  | 459 -> One ([R 251])
  | 460 -> One ([R 234])
  | 461 -> One (Sub (r93) :: [R 151])
  | 462 -> One (Sub (r90) :: [R 255])
  | 463 -> One ([R 255])
  | 464 -> One (Sub (r90) :: [R 252])
  | 465 -> One ([R 252])
  | 466 -> One (r96)
  | 467 -> One ([Abort])
  | 468 -> One (r96)
  | 469 -> One (S (N N_exp_nullary_ob_) :: r191)
  | 470 -> One (r191)
  | 471 -> One (Sub (r93) :: [R 139])
  | 472 -> One (R 395 :: r192)
  | 473 -> One (R 395 :: r193)
  | 474 -> One (Sub (r115) :: r195)
  | 475 -> One (r195)
  | 476 -> One (r194)
  | 477 -> One (r116)
  | 478 -> One (S (T T_LPAR) :: r200)
  | 479 -> One (r200)
  | 480 -> One (r199)
  | 481 -> One (r198)
  | 482 -> One (Sub (r201) :: [R 197])
  | 483 -> One (Sub (r201) :: [R 198])
  | 484 -> One ([R 198])
  | 485 -> One ([R 197])
  | 486 -> One (Sub (r93) :: [R 184])
  | 487 -> One ([Abort])
  | 488 -> One (R 5 :: r202)
  | 489 -> One (r202)
  | 490 -> One (Sub (r93) :: [R 142])
  | 491 -> One (S (N N_exp_nullary_ob_) :: r203)
  | 492 -> One (r203)
  | 493 -> One ([R 212])
  | 494 -> One ([Abort])
  | 495 -> One ([R 245])
  | 496 -> One ([R 246])
  | 497 -> One (Sub (r90) :: [R 258])
  | 498 -> One ([R 258])
  | 499 -> One (S (T T_LPAR) :: r208)
  | 500 -> One (r208)
  | 501 -> One (r207)
  | 502 -> One (r206)
  | 503 -> One ([Abort])
  | 504 -> One ([R 183])
  | 505 -> One (S (T T_QUERY) :: r213)
  | 506 -> One (r213)
  | 507 -> One (r212)
  | 508 -> One (S (T T_ACTOR) :: r217)
  | 509 -> One (r217)
  | 510 -> One (r216)
  | 511 -> One (r215)
  | 512 -> One (r214)
  | 513 -> One ([R 325])
  | 514 -> One (S (T T_CLASS) :: r220)
  | 515 -> One (r220)
  | 516 -> One (r219)
  | 517 -> One (r218)
  | 518 -> One ([R 323])
  | 519 -> One (S (T T_CLASS) :: r223)
  | 520 -> One (r223)
  | 521 -> One (r222)
  | 522 -> One (r221)
  | 523 -> One ([R 326])
  | 524 -> One (r211)
  | 525 -> One (r210)
  | 526 -> One (r209)
  | 527 -> One ([R 24])
  | 528 -> One ([R 276])
  | 529 -> One (r226)
  | 530 -> One (r225)
  | 531 -> One (r224)
  | 532 -> One ([R 327])
  | 533 -> One (S (T T_CLASS) :: r229)
  | 534 -> One (r229)
  | 535 -> One (r228)
  | 536 -> One (r227)
  | 537 -> One ([R 324])
  | 538 -> One (Sub (r115) :: r231)
  | 539 -> One (r231)
  | 540 -> One (r230)
  | 541 -> One ([R 312])
  | 542 -> One ([Abort])
  | 543 -> One (R 330 :: [R 182])
  | 544 -> One ([R 182])
  | 545 -> One ([R 331])
  | 546 -> One (Sub (r93) :: [R 179])
  | 547 -> One (Sub (r201) :: [R 143])
  | 548 -> One (Sub (r201) :: [R 144])
  | 549 -> One ([R 144])
  | 550 -> One ([R 143])
  | 551 -> One ([R 6])
  | 552 -> One (Sub (r90) :: [R 256])
  | 553 -> One ([R 256])
  | 554 -> One (Sub (r93) :: [R 130])
  | 555 -> One ([Abort])
  | 556 -> One ([R 129])
  | 557 -> One ([Abort])
  | 558 -> One (R 330 :: [R 128])
  | 559 -> One ([R 128])
  | 560 -> One (Sub (r93) :: [R 125])
  | 561 -> One (Sub (r93) :: [R 124])
  | 562 -> One (Sub (r93) :: [R 123])
  | 563 -> One (Sub (r93) :: [R 122])
  | 564 -> One (Sub (r93) :: [R 121])
  | 565 -> One (Sub (r93) :: [R 126])
  | 566 -> One (S (T T_SYSTEM) :: r232)
  | 567 -> One (r232)
  | 568 -> One (Sub (r90) :: [R 248])
  | 569 -> One ([R 248])
  | 570 -> One (Sub (r185) :: [R 254])
  | 571 -> One (R 5 :: r234)
  | 572 -> One (r234)
  | 573 -> One (r233)
  | 574 -> One ([R 302])
  | 575 -> One (Sub (r115) :: r236)
  | 576 -> One (r236)
  | 577 -> One (r235)
  | 578 -> One ([R 309])
  | 579 -> One ([R 254])
  | 580 -> One (r238)
  | 581 -> One (r237)
  | 582 -> One ([R 303])
  | 583 -> One ([R 26])
  | 584 -> One ([R 32])
  | 585 -> One ([R 243])
  | 586 -> One (S (N N_exp_ob_) :: r239)
  | 587 -> One (Sub (r93) :: [R 178])
  | 588 -> One ([R 211])
  | 589 -> One ([R 225])
  | 590 -> One ([R 28])
  | 591 -> One ([R 206])
  | 592 -> One ([R 178])
  | 593 -> One ([R 98])
  | 594 -> One (Sub (r240) :: [R 45])
  | 595 -> One ([R 62])
  | 596 -> One ([R 45])
  | 597 -> One (Sub (r240) :: [R 72])
  | 598 -> One ([R 72])
  | 599 -> One (Sub (r240) :: [R 77])
  | 600 -> One ([R 77])
  | 601 -> One (Sub (r240) :: [R 68])
  | 602 -> One ([R 68])
  | 603 -> One (Sub (r240) :: [R 76])
  | 604 -> One ([R 76])
  | 605 -> One (Sub (r240) :: [R 79])
  | 606 -> One ([R 79])
  | 607 -> One (Sub (r240) :: [R 78])
  | 608 -> One ([R 78])
  | 609 -> One (S (N N_exp_ob_) :: [R 112])
  | 610 -> One (Sub (r93) :: [R 177])
  | 611 -> One ([R 177])
  | 612 -> One ([R 97])
  | 613 -> One ([R 29])
  | 614 -> One ([R 207])
  | 615 -> One ([R 96])
  | 616 -> One ([R 210])
  | 617 -> One (Sub (r93) :: [R 176])
  | 618 -> One ([R 176])
  | 619 -> One (Sub (r93) :: [R 175])
  | 620 -> One ([R 175])
  | 621 -> One (Sub (r93) :: [R 180])
  | 622 -> One (S (T T_SYSTEM) :: r241)
  | 623 -> One (r241)
  | 624 -> One ([R 199])
  | 625 -> One (Sub (r93) :: [R 203])
  | 626 -> One ([R 203])
  | 627 -> One (S (T T_COLON) :: r243)
  | 628 -> One (r243)
  | 629 -> One (r242)
  | 630 -> One ([R 204])
  | 631 -> One (S (T T_COLON) :: r245)
  | 632 -> One (r245)
  | 633 -> One (r244)
  | 634 -> One ([R 201])
  | 635 -> One (Sub (r93) :: [R 200])
  | 636 -> One ([R 200])
  | 637 -> One (Sub (r93) :: [R 202])
  | 638 -> One ([R 202])
  | 639 -> One ([R 180])
  | 640 -> One (r186)
  | 641 -> One ([R 30])
  | 642 -> One ([R 208])
  | 643 -> One ([R 152])
  | 644 -> One (Sub (r240) :: [R 75])
  | 645 -> One ([R 75])
  | 646 -> One (S (N N_exp_ob_) :: [R 166])
  | 647 -> One ([R 166])
  | 648 -> One ([R 31])
  | 649 -> One ([R 209])
  | 650 -> One (Sub (r240) :: [R 70])
  | 651 -> One ([R 70])
  | 652 -> One (Sub (r240) :: [R 71])
  | 653 -> One ([R 71])
  | 654 -> One (Sub (r240) :: [R 74])
  | 655 -> One ([R 74])
  | 656 -> One (Sub (r240) :: [R 73])
  | 657 -> One ([R 73])
  | 658 -> One (Sub (r240) :: [R 65])
  | 659 -> One ([R 65])
  | 660 -> One (Sub (r240) :: [R 67])
  | 661 -> One ([R 67])
  | 662 -> One (Sub (r240) :: [R 66])
  | 663 -> One ([R 66])
  | 664 -> One (S (N N_exp_ob_) :: [R 161])
  | 665 -> One ([R 161])
  | 666 -> One (S (N N_exp_ob_) :: [R 163])
  | 667 -> One ([R 163])
  | 668 -> One (S (N N_exp_ob_) :: [R 162])
  | 669 -> One ([R 162])
  | 670 -> One (Sub (r240) :: [R 69])
  | 671 -> One ([R 69])
  | 672 -> One (S (N N_exp_ob_) :: [R 160])
  | 673 -> One ([R 160])
  | 674 -> One (Sub (r240) :: [R 64])
  | 675 -> One ([R 64])
  | 676 -> One (S (N N_exp_ob_) :: [R 168])
  | 677 -> One ([R 168])
  | 678 -> One (S (N N_exp_ob_) :: [R 167])
  | 679 -> One ([R 167])
  | 680 -> One (S (N N_exp_ob_) :: [R 170])
  | 681 -> One ([R 170])
  | 682 -> One (S (N N_exp_ob_) :: [R 169])
  | 683 -> One ([R 169])
  | 684 -> One (S (N N_exp_ob_) :: [R 159])
  | 685 -> One ([R 159])
  | 686 -> One (S (N N_exp_ob_) :: [R 154])
  | 687 -> One ([R 154])
  | 688 -> One (Sub (r240) :: [R 90])
  | 689 -> One ([R 90])
  | 690 -> One (Sub (r240) :: [R 88])
  | 691 -> One ([R 88])
  | 692 -> One (Sub (r240) :: [R 82])
  | 693 -> One ([R 82])
  | 694 -> One (Sub (r240) :: [R 80])
  | 695 -> One ([R 80])
  | 696 -> One (Sub (r240) :: [R 63])
  | 697 -> One ([R 63])
  | 698 -> One (Sub (r240) :: [R 83])
  | 699 -> One ([R 83])
  | 700 -> One (Sub (r240) :: [R 84])
  | 701 -> One ([R 84])
  | 702 -> One (Sub (r240) :: [R 85])
  | 703 -> One ([R 85])
  | 704 -> One (Sub (r240) :: [R 86])
  | 705 -> One ([R 86])
  | 706 -> One (Sub (r240) :: [R 81])
  | 707 -> One ([R 81])
  | 708 -> One (Sub (r240) :: [R 87])
  | 709 -> One ([R 87])
  | 710 -> One (S (N N_exp_ob_) :: [R 165])
  | 711 -> One ([R 165])
  | 712 -> One (S (N N_exp_ob_) :: [R 156])
  | 713 -> One ([R 156])
  | 714 -> One (S (N N_exp_ob_) :: [R 158])
  | 715 -> One ([R 158])
  | 716 -> One (S (N N_exp_ob_) :: [R 155])
  | 717 -> One ([R 155])
  | 718 -> One (Sub (r240) :: [R 91])
  | 719 -> One ([R 91])
  | 720 -> One (Sub (r13) :: [R 89])
  | 721 -> One ([R 89])
  | 722 -> One (S (N N_exp_ob_) :: [R 157])
  | 723 -> One ([R 157])
  | 724 -> One (S (N N_exp_ob_) :: [R 171])
  | 725 -> One ([R 171])
  | 726 -> One (S (N N_exp_ob_) :: [R 153])
  | 727 -> One ([R 153])
  | 728 -> One (S (N N_exp_ob_) :: [R 164])
  | 729 -> One ([R 164])
  | 730 -> One ([R 112])
  | 731 -> One (Sub (r240) :: [R 40])
  | 732 -> One ([R 40])
  | 733 -> One (S (N N_exp_ob_) :: [R 107])
  | 734 -> One ([R 107])
  | 735 -> One (Sub (r240) :: [R 42])
  | 736 -> One ([R 42])
  | 737 -> One (S (N N_exp_ob_) :: [R 109])
  | 738 -> One ([R 109])
  | 739 -> One (Sub (r240) :: [R 41])
  | 740 -> One ([R 41])
  | 741 -> One (S (N N_exp_ob_) :: [R 108])
  | 742 -> One ([R 108])
  | 743 -> One (Sub (r240) :: [R 39])
  | 744 -> One ([R 39])
  | 745 -> One (S (N N_exp_ob_) :: [R 106])
  | 746 -> One ([R 106])
  | 747 -> One (Sub (r240) :: [R 34])
  | 748 -> One ([R 34])
  | 749 -> One (Sub (r240) :: [R 47])
  | 750 -> One ([R 47])
  | 751 -> One (S (N N_exp_ob_) :: [R 114])
  | 752 -> One ([R 114])
  | 753 -> One (Sub (r240) :: [R 46])
  | 754 -> One ([R 46])
  | 755 -> One (S (N N_exp_ob_) :: [R 113])
  | 756 -> One ([R 113])
  | 757 -> One (Sub (r240) :: [R 49])
  | 758 -> One ([R 49])
  | 759 -> One (S (N N_exp_ob_) :: [R 116])
  | 760 -> One ([R 116])
  | 761 -> One (Sub (r240) :: [R 48])
  | 762 -> One ([R 48])
  | 763 -> One (S (N N_exp_ob_) :: [R 115])
  | 764 -> One ([R 115])
  | 765 -> One (Sub (r240) :: [R 38])
  | 766 -> One ([R 38])
  | 767 -> One (S (N N_exp_ob_) :: [R 105])
  | 768 -> One ([R 105])
  | 769 -> One (S (N N_exp_ob_) :: [R 100])
  | 770 -> One ([R 100])
  | 771 -> One (Sub (r240) :: [R 60])
  | 772 -> One ([R 60])
  | 773 -> One (Sub (r240) :: [R 44])
  | 774 -> One ([R 44])
  | 775 -> One (S (N N_exp_ob_) :: [R 111])
  | 776 -> One ([R 111])
  | 777 -> One (Sub (r240) :: [R 58])
  | 778 -> One ([R 58])
  | 779 -> One (Sub (r240) :: [R 52])
  | 780 -> One ([R 52])
  | 781 -> One (Sub (r240) :: [R 35])
  | 782 -> One ([R 35])
  | 783 -> One (S (N N_exp_ob_) :: [R 102])
  | 784 -> One ([R 102])
  | 785 -> One (Sub (r240) :: [R 37])
  | 786 -> One ([R 37])
  | 787 -> One (S (N N_exp_ob_) :: [R 104])
  | 788 -> One ([R 104])
  | 789 -> One (S (N N_exp_ob_) :: [R 101])
  | 790 -> One ([R 101])
  | 791 -> One (Sub (r240) :: [R 53])
  | 792 -> One ([R 53])
  | 793 -> One (Sub (r240) :: [R 54])
  | 794 -> One ([R 54])
  | 795 -> One (Sub (r240) :: [R 61])
  | 796 -> One ([R 61])
  | 797 -> One (Sub (r240) :: [R 50])
  | 798 -> One ([R 50])
  | 799 -> One (Sub (r240) :: [R 55])
  | 800 -> One ([R 55])
  | 801 -> One (Sub (r240) :: [R 56])
  | 802 -> One ([R 56])
  | 803 -> One (Sub (r240) :: [R 51])
  | 804 -> One ([R 51])
  | 805 -> One (Sub (r240) :: [R 36])
  | 806 -> One ([R 36])
  | 807 -> One (S (N N_exp_ob_) :: [R 103])
  | 808 -> One ([R 103])
  | 809 -> One (Sub (r13) :: [R 59])
  | 810 -> One ([R 59])
  | 811 -> One (S (N N_exp_ob_) :: [R 117])
  | 812 -> One ([R 117])
  | 813 -> One (S (N N_exp_ob_) :: [R 99])
  | 814 -> One ([R 99])
  | 815 -> One (Sub (r240) :: [R 43])
  | 816 -> One ([R 43])
  | 817 -> One (S (N N_exp_ob_) :: [R 110])
  | 818 -> One ([R 110])
  | 819 -> One (Sub (r240) :: [R 57])
  | 820 -> One ([R 57])
  | 821 -> One (Sub (r240) :: [R 33])
  | 822 -> One ([R 33])
  | 823 -> One (r239)
  | 824 -> One ([R 228])
  | 825 -> One ([R 229])
  | 826 -> One ([Abort])
  | 827 -> One ([R 230])
  | 828 -> One ([R 232])
  | 829 -> One (S (N N_exp_nullary_ob_) :: [R 231])
  | 830 -> One ([R 231])
  | 831 -> One ([R 145])
  | 832 -> One (Sub (r93) :: [R 149])
  | 833 -> One ([R 149])
  | 834 -> One (S (T T_COLON) :: r247)
  | 835 -> One (r247)
  | 836 -> One (r246)
  | 837 -> One ([R 150])
  | 838 -> One (S (T T_COLON) :: r249)
  | 839 -> One (r249)
  | 840 -> One (r248)
  | 841 -> One ([R 147])
  | 842 -> One (Sub (r93) :: [R 146])
  | 843 -> One ([R 146])
  | 844 -> One (Sub (r93) :: [R 148])
  | 845 -> One ([R 148])
  | 846 -> One ([R 126])
  | 847 -> One ([R 121])
  | 848 -> One ([R 122])
  | 849 -> One ([R 123])
  | 850 -> One ([R 124])
  | 851 -> One ([R 125])
  | 852 -> One ([R 130])
  | 853 -> One ([R 179])
  | 854 -> One (r205)
  | 855 -> One (r204)
  | 856 -> One ([R 141])
  | 857 -> One ([R 131])
  | 858 -> One (Sub (r93) :: [R 132])
  | 859 -> One ([R 132])
  | 860 -> One ([R 142])
  | 861 -> One ([R 127])
  | 862 -> One ([R 184])
  | 863 -> One (r197)
  | 864 -> One (r196)
  | 865 -> One ([R 195])
  | 866 -> One ([R 275])
  | 867 -> One ([R 21])
  | 868 -> One (r193)
  | 869 -> One ([R 227])
  | 870 -> One (S (T T_COMMA) :: r250)
  | 871 -> One (r250)
  | 872 -> One ([R 397])
  | 873 -> One (r192)
  | 874 -> One ([R 226])
  | 875 -> One ([R 139])
  | 876 -> One (Sub (r93) :: [R 140])
  | 877 -> One ([R 140])
  | 878 -> One ([R 185])
  | 879 -> One (Sub (r93) :: [R 186])
  | 880 -> One ([R 186])
  | 881 -> One (r95)
  | 882 -> One ([R 224])
  | 883 -> One (S (T T_COMMA) :: r251)
  | 884 -> One (r251)
  | 885 -> One ([R 390])
  | 886 -> One (r252)
  | 887 -> One ([Abort])
  | 888 -> One ([R 230])
  | 889 -> One ([R 233])
  | 890 -> One (S (T T_WITH) :: r256)
  | 891 -> One (r256)
  | 892 -> One (r257)
  | 893 -> One ([R 92])
  | 894 -> One (S (N N_exp_ob_) :: [R 94])
  | 895 -> One ([R 94])
  | 896 -> One (r255)
  | 897 -> One (r254)
  | 898 -> One (R 334 :: r262)
  | 899 -> One (r262)
  | 900 -> One (r261)
  | 901 -> One (S (T T_CLASS) :: r265)
  | 902 -> One (r265)
  | 903 -> One (r264)
  | 904 -> One (r263)
  | 905 -> One ([R 313])
  | 906 -> One (S (T T_CLASS) :: r268)
  | 907 -> One (r268)
  | 908 -> One (r267)
  | 909 -> One (r266)
  | 910 -> One ([R 316])
  | 911 -> One (r260)
  | 912 -> One (r259)
  | 913 -> One (r258)
  | 914 -> One ([R 317])
  | 915 -> One (S (T T_CLASS) :: r271)
  | 916 -> One (r271)
  | 917 -> One (r270)
  | 918 -> One (r269)
  | 919 -> One ([R 314])
  | 920 -> One (R 353 :: r275)
  | 921 -> One (r275)
  | 922 -> One (r274)
  | 923 -> One (r273)
  | 924 -> One (r272)
  | 925 -> One ([R 322])
  | 926 -> One (S (T T_CLASS) :: r278)
  | 927 -> One (r278)
  | 928 -> One (r277)
  | 929 -> One (r276)
  | 930 -> One ([R 319])
  | 931 -> One (S (T T_QUERY) :: r280)
  | 932 -> One (r280)
  | 933 -> One (r279)
  | 934 -> One (r253)
  | 935 -> One ([R 120])
  | 936 -> One (R 5 :: r238)
  | 937 -> One ([R 25])
  | 938 -> One (r252)
  | 939 -> One (S (N N_exp_nullary_ob_) :: [R 244])
  | 940 -> One ([R 244])
  | 941 -> One (S (T T_SEMICOLON) :: r281)
  | 942 -> One (R 391 :: [R 394])
  | 943 -> One ([R 394])
  | 944 -> One (r281)
  | 945 -> One ([R 393])
  | 946 -> One ([R 259])
  | 947 -> One ([R 238])
  | 948 -> One ([Abort])
  | 949 -> One ([R 239])
  | 950 -> One ([R 241])
  | 951 -> One (S (N N_exp_nullary_ob_) :: [R 240])
  | 952 -> One ([R 240])
  | 953 -> One ([R 151])
  | 954 -> One ([R 196])
  | 955 -> One (r190)
  | 956 -> One ([R 237])
  | 957 -> One ([R 272])
  | 958 -> One ([R 274])
  | 959 -> One ([R 247])
  | 960 -> One ([R 181])
  | 961 -> One ([R 18])
  | 962 -> One ([R 119])
  | 963 -> One ([R 193])
  | 964 -> One (Sub (r93) :: [R 194])
  | 965 -> One ([R 194])
  | 966 -> One (r282)
  | 967 -> One ([Abort])
  | 968 -> One ([R 239])
  | 969 -> One ([R 242])
  | 970 -> One (S (T T_WITH) :: r286)
  | 971 -> One (r286)
  | 972 -> One (r285)
  | 973 -> One (r284)
  | 974 -> One (r283)
  | 975 -> One ([R 174])
  | 976 -> One (r282)
  | 977 -> One (r287)
  | 978 -> One ([R 260])
  | 979 -> One (r168)
  | 980 -> One ([R 236])
  | 981 -> One (r167)
  | 982 -> One ([R 235])
  | 983 -> One ([R 249])
  | 984 -> One ([R 136])
  | 985 -> One ([R 205])
  | 986 -> One (r183)
  | 987 -> One (r182)
  | 988 -> One (r181)
  | 989 -> One ([R 18])
  | 990 -> One (Sub (r93) :: [R 16])
  | 991 -> One ([R 16])
  | 992 -> One (r154)
  | 993 -> One ([R 7])
  | 994 -> One ([R 15])
  | 995 -> One ([R 13])
  | 996 -> One ([R 14])
  | 997 -> One (S (T T_SEMICOLON) :: r288)
  | 998 -> One (R 380 :: [R 383])
  | 999 -> One ([R 383])
  | 1000 -> One (r288)
  | 1001 -> One ([R 382])
  | 1002 -> One ([R 23])
  | 1003 -> One ([R 173])
  | 1004 -> One ([R 17])
  | 1005 -> One (r123)
  | 1006 -> One ([R 299])
  | 1007 -> One (S (T T_SEMICOLON) :: r289)
  | 1008 -> One (R 384 :: [R 387])
  | 1009 -> One ([R 387])
  | 1010 -> One (r289)
  | 1011 -> One ([R 386])
  | 1012 -> One ([R 315])
  | 1013 -> One (r120)
  | 1014 -> One (r119)
  | 1015 -> One (r118)
  | 1016 -> One ([R 22])
  | 1017 -> One (r113)
  | 1018 -> One ([R 257])
  | 1019 -> One (r112)
  | 1020 -> One (r111)
  | 1021 -> One ([R 135])
  | 1022 -> One (Sub (r5) :: r290)
  | 1023 -> One (r290)
  | 1024 -> One ([R 9])
  | 1025 -> One ([R 133])
  | 1026 -> One (Sub (r93) :: [R 134])
  | 1027 -> One ([R 134])
  | 1028 -> One ([R 138])
  | 1029 -> One ([R 8])
  | 1030 -> One (r106)
  | 1031 -> One ([R 191])
  | 1032 -> One ([R 95])
  | 1033 -> One (r257)
  | 1034 -> One (r105)
  | 1035 -> One ([R 220])
  | 1036 -> One ([Abort])
  | 1037 -> One ([Abort])
  | 1038 -> One (S (T T_RCURLY) :: [R 222])
  | 1039 -> One ([R 222])
  | 1040 -> One ([R 441])
  | 1041 -> One (R 391 :: [R 443])
  | 1042 -> One ([R 443])
  | 1043 -> One (R 391 :: [R 442])
  | 1044 -> One ([R 442])
  | 1045 -> One ([R 371])
  | 1046 -> One (r291)
  | 1047 -> One ([R 372])
  | 1048 -> One ([R 221])
  | 1049 -> One ([R 371])
  | 1050 -> One (r291)
  | 1051 -> One ([R 372])
  | 1052 -> One ([R 253])
  | 1053 -> One ([R 190])
  | 1054 -> One (S (T T_WITH) :: r294)
  | 1055 -> One (r294)
  | 1056 -> One (r293)
  | 1057 -> One (r292)
  | 1058 -> One ([R 268])
  | 1059 -> One ([R 271])
  | 1060 -> One ([R 267])
  | 1061 -> One ([R 263])
  | 1062 -> One ([R 265])
  | 1063 -> One ([R 250])
  | 1064 -> One (r104)
  | 1065 -> One (r103)
  | 1066 -> One ([R 189])
  | 1067 -> One ([R 187])
  | 1068 -> One (Sub (r93) :: [R 188])
  | 1069 -> One ([R 188])
  | 1070 -> One ([R 27])
  | 1071 -> One (r94)
  | 1072 -> One ([R 192])
  | 1073 -> One (r91)
  | 1074 -> One ([R 273])
  | 1075 -> One ([R 269])
  | 1076 -> One ([R 266])
  | 1077 -> One (r86)
  | 1078 -> One ([R 340])
  | 1079 -> One ([R 1])
  | 1080 -> One (R 453 :: Sub (r297) :: [R 2])
  | 1081 -> One (r297)
  | 1082 -> One (r296)
  | 1083 -> One (r295)
  | 1084 -> One ([R 341])
  | 1085 -> One (S (T T_SEMICOLON) :: r298)
  | 1086 -> One (r298)
  | 1087 -> One ([R 379])
  | 1088 -> One (S (T T_SEMICOLON) :: r299)
  | 1089 -> One (r299)
  | 1090 -> One ([R 400])
  | 1091 -> One ([R 2])
  | 1092 -> One (R 453 :: Sub (r304) :: [R 3])
  | 1093 -> One (r304)
  | 1094 -> One ([Abort])
  | 1095 -> One (S (T T_EQ) :: r305)
  | 1096 -> One (R 423 :: r308)
  | 1097 -> One (r308)
  | 1098 -> One (r307)
  | 1099 -> One (r306)
  | 1100 -> One ([R 461])
  | 1101 -> One (r305)
  | 1102 -> One ([R 460])
  | 1103 -> One (S (T T_SEMICOLON) :: r309)
  | 1104 -> One (R 426 :: [R 429])
  | 1105 -> One ([R 429])
  | 1106 -> One (r309)
  | 1107 -> One ([R 428])
  | 1108 -> One (r303)
  | 1109 -> One (r302)
  | 1110 -> One (S (T T_LCURLY) :: r316)
  | 1111 -> One (r316)
  | 1112 -> One ([Abort])
  | 1113 -> One ([Abort])
  | 1114 -> One (S (T T_COLON) :: r317)
  | 1115 -> One (r317)
  | 1116 -> One ([R 368])
  | 1117 -> One (S (T T_COLON) :: r318)
  | 1118 -> One (r318)
  | 1119 -> One ([R 367])
  | 1120 -> One ([Abort])
  | 1121 -> One ([Abort])
  | 1122 -> One (S (T T_COLON) :: r319)
  | 1123 -> One (r319)
  | 1124 -> One ([R 370])
  | 1125 -> One (S (T T_COLON) :: r320)
  | 1126 -> One (r320)
  | 1127 -> One ([R 369])
  | 1128 -> One (r315)
  | 1129 -> One (r314)
  | 1130 -> One (r313)
  | 1131 -> One (r312)
  | 1132 -> One ([Abort])
  | 1133 -> One ([Abort])
  | 1134 -> One (S (T T_COLON) :: r321)
  | 1135 -> One (r321)
  | 1136 -> One ([R 452])
  | 1137 -> One (S (T T_COLON) :: r322)
  | 1138 -> One (r322)
  | 1139 -> One ([R 451])
  | 1140 -> One (S (T T_SEMICOLON) :: r323)
  | 1141 -> One (R 416 :: [R 419])
  | 1142 -> One ([R 419])
  | 1143 -> One (r323)
  | 1144 -> One ([R 418])
  | 1145 -> One (r311)
  | 1146 -> One (r310)
  | 1147 -> One ([R 343])
  | 1148 -> One (S (T T_SEMICOLON) :: r324)
  | 1149 -> One (R 412 :: [R 415])
  | 1150 -> One ([R 415])
  | 1151 -> One (r324)
  | 1152 -> One ([R 414])
  | 1153 -> One (r301)
  | 1154 -> One (r300)
  | 1155 -> One ([R 342])
  | 1156 -> One ([R 3])
  | _ -> raise Not_found

let token_of_terminal (type a) (t : a MenhirInterpreter.terminal) (v : a) : token =
  match t with
  | MenhirInterpreter.T_error -> assert false
  | MenhirInterpreter.T_XOROP -> XOROP
  | MenhirInterpreter.T_XORASSIGN -> XORASSIGN
  | MenhirInterpreter.T_WRAPSUBOP -> WRAPSUBOP
  | MenhirInterpreter.T_WRAPSUBASSIGN -> WRAPSUBASSIGN
  | MenhirInterpreter.T_WRAPPOWOP -> WRAPPOWOP
  | MenhirInterpreter.T_WRAPPOWASSIGN -> WRAPPOWASSIGN
  | MenhirInterpreter.T_WRAPMULOP -> WRAPMULOP
  | MenhirInterpreter.T_WRAPMULASSIGN -> WRAPMULASSIGN
  | MenhirInterpreter.T_WRAPADDOP -> WRAPADDOP
  | MenhirInterpreter.T_WRAPADDASSIGN -> WRAPADDASSIGN
  | MenhirInterpreter.T_WITH -> WITH
  | MenhirInterpreter.T_WHILE -> WHILE
  | MenhirInterpreter.T_VAR -> VAR
  | MenhirInterpreter.T_UNDERSCORE -> UNDERSCORE
  | MenhirInterpreter.T_TYPE -> TYPE
  | MenhirInterpreter.T_TRY -> TRY
  | MenhirInterpreter.T_TRANSIENT -> TRANSIENT
  | MenhirInterpreter.T_TO_CANDID -> TO_CANDID
  | MenhirInterpreter.T_THROW -> THROW
  | MenhirInterpreter.T_TEXT -> TEXT v
  | MenhirInterpreter.T_SYSTEM -> SYSTEM
  | MenhirInterpreter.T_SWITCH -> SWITCH
  | MenhirInterpreter.T_SUBOP -> SUBOP
  | MenhirInterpreter.T_SUB -> SUB
  | MenhirInterpreter.T_STABLE -> STABLE
  | MenhirInterpreter.T_SHROP -> SHROP
  | MenhirInterpreter.T_SHRASSIGN -> SHRASSIGN
  | MenhirInterpreter.T_SHLOP -> SHLOP
  | MenhirInterpreter.T_SHLASSIGN -> SHLASSIGN
  | MenhirInterpreter.T_SHARED -> SHARED
  | MenhirInterpreter.T_SEMICOLON_EOL -> SEMICOLON_EOL
  | MenhirInterpreter.T_SEMICOLON -> SEMICOLON
  | MenhirInterpreter.T_RPAR -> RPAR
  | MenhirInterpreter.T_ROTROP -> ROTROP
  | MenhirInterpreter.T_ROTRASSIGN -> ROTRASSIGN
  | MenhirInterpreter.T_ROTLOP -> ROTLOP
  | MenhirInterpreter.T_ROTLASSIGN -> ROTLASSIGN
  | MenhirInterpreter.T_RETURN -> RETURN
  | MenhirInterpreter.T_RCURLY -> RCURLY
  | MenhirInterpreter.T_RBRACKET -> RBRACKET
  | MenhirInterpreter.T_QUEST -> QUEST
  | MenhirInterpreter.T_QUERY -> QUERY
  | MenhirInterpreter.T_PUBLIC -> PUBLIC
  | MenhirInterpreter.T_PRIVATE -> PRIVATE
  | MenhirInterpreter.T_PRIM -> PRIM
  | MenhirInterpreter.T_POWOP -> POWOP
  | MenhirInterpreter.T_POWASSIGN -> POWASSIGN
  | MenhirInterpreter.T_PLUSASSIGN -> PLUSASSIGN
  | MenhirInterpreter.T_PIPE -> PIPE
  | MenhirInterpreter.T_PERSISTENT -> PERSISTENT
  | MenhirInterpreter.T_OROP -> OROP
  | MenhirInterpreter.T_ORASSIGN -> ORASSIGN
  | MenhirInterpreter.T_OR -> OR
  | MenhirInterpreter.T_OLD -> OLD
  | MenhirInterpreter.T_OBJECT -> OBJECT
  | MenhirInterpreter.T_NULL -> NULL
  | MenhirInterpreter.T_NOT -> NOT
  | MenhirInterpreter.T_NEQOP -> NEQOP
  | MenhirInterpreter.T_NAT -> NAT v
  | MenhirInterpreter.T_MULOP -> MULOP
  | MenhirInterpreter.T_MULASSIGN -> MULASSIGN
  | MenhirInterpreter.T_MODULE -> MODULE
  | MenhirInterpreter.T_MODOP -> MODOP
  | MenhirInterpreter.T_MODASSIGN -> MODASSIGN
  | MenhirInterpreter.T_MINUSASSIGN -> MINUSASSIGN
  | MenhirInterpreter.T_LTOP -> LTOP
  | MenhirInterpreter.T_LT -> LT
  | MenhirInterpreter.T_LPAR -> LPAR
  | MenhirInterpreter.T_LOOP -> LOOP
  | MenhirInterpreter.T_LET -> LET
  | MenhirInterpreter.T_LEOP -> LEOP
  | MenhirInterpreter.T_LCURLY -> LCURLY
  | MenhirInterpreter.T_LBRACKET -> LBRACKET
  | MenhirInterpreter.T_LABEL -> LABEL
  | MenhirInterpreter.T_INVARIANT -> INVARIANT
  | MenhirInterpreter.T_IN -> IN
  | MenhirInterpreter.T_IMPORT -> IMPORT
  | MenhirInterpreter.T_IMPLIES -> IMPLIES
  | MenhirInterpreter.T_IGNORE -> IGNORE
  | MenhirInterpreter.T_IF -> IF
  | MenhirInterpreter.T_ID -> ID v
  | MenhirInterpreter.T_HASH -> HASH
  | MenhirInterpreter.T_GTOP -> GTOP
  | MenhirInterpreter.T_GT -> GT
  | MenhirInterpreter.T_GEOP -> GEOP
  | MenhirInterpreter.T_FUNC -> FUNC
  | MenhirInterpreter.T_FROM_CANDID -> FROM_CANDID
  | MenhirInterpreter.T_FOR -> FOR
  | MenhirInterpreter.T_FLOAT -> FLOAT v
  | MenhirInterpreter.T_FLEXIBLE -> FLEXIBLE
  | MenhirInterpreter.T_FINALLY -> FINALLY
  | MenhirInterpreter.T_EQOP -> EQOP
  | MenhirInterpreter.T_EQ -> EQ
  | MenhirInterpreter.T_EOF -> EOF
  | MenhirInterpreter.T_ELSE -> ELSE
  | MenhirInterpreter.T_DOT_NUM -> DOT_NUM v
  | MenhirInterpreter.T_DOT -> DOT
  | MenhirInterpreter.T_DO -> DO
  | MenhirInterpreter.T_DIVOP -> DIVOP
  | MenhirInterpreter.T_DIVASSIGN -> DIVASSIGN
  | MenhirInterpreter.T_DISALLOWED -> DISALLOWED
  | MenhirInterpreter.T_DEBUG_SHOW -> DEBUG_SHOW
  | MenhirInterpreter.T_DEBUG -> DEBUG
  | MenhirInterpreter.T_CONTINUE -> CONTINUE
  | MenhirInterpreter.T_COMPOSITE -> COMPOSITE
  | MenhirInterpreter.T_COMMA -> COMMA
  | MenhirInterpreter.T_COLON -> COLON
  | MenhirInterpreter.T_CLASS -> CLASS
  | MenhirInterpreter.T_CHAR -> CHAR v
  | MenhirInterpreter.T_CATCH -> CATCH
  | MenhirInterpreter.T_CATASSIGN -> CATASSIGN
  | MenhirInterpreter.T_CASE -> CASE
  | MenhirInterpreter.T_BREAK -> BREAK
  | MenhirInterpreter.T_BOOL -> BOOL v
  | MenhirInterpreter.T_BANG -> BANG
  | MenhirInterpreter.T_AWAITSTAR -> AWAITSTAR
  | MenhirInterpreter.T_AWAITQUEST -> AWAITQUEST
  | MenhirInterpreter.T_AWAIT -> AWAIT
  | MenhirInterpreter.T_ASYNCSTAR -> ASYNCSTAR
  | MenhirInterpreter.T_ASYNC -> ASYNC
  | MenhirInterpreter.T_ASSIGN -> ASSIGN
  | MenhirInterpreter.T_ASSERT -> ASSERT
  | MenhirInterpreter.T_ARROW -> ARROW
  | MenhirInterpreter.T_ANDOP -> ANDOP
  | MenhirInterpreter.T_ANDASSIGN -> ANDASSIGN
  | MenhirInterpreter.T_AND -> AND
  | MenhirInterpreter.T_ADDOP -> ADDOP
  | MenhirInterpreter.T_ACTOR -> ACTOR

let nullable (type a) : a MenhirInterpreter.nonterminal -> bool =
  let open! MenhirInterpreter in function
  | N_vis -> true
  | N_start -> true
  | N_stab -> true
  | N_seplist_typ_tag_semicolon_ -> true
  | N_seplist_typ_item_COMMA_ -> true
  | N_seplist_typ_field_semicolon_ -> true
  | N_seplist_typ_dec_semicolon_ -> true
  | N_seplist_typ_bind_COMMA_ -> true
  | N_seplist_typ_COMMA_ -> true
  | N_seplist_stab_field_semicolon_ -> true
  | N_seplist_pre_stab_field_semicolon_ -> true
  | N_seplist_pat_field_semicolon_ -> true
  | N_seplist_pat_bin_COMMA_ -> true
  | N_seplist_imp_semicolon_ -> true
  | N_seplist_imp_SEMICOLON_ -> true
  | N_seplist_exp_nonvar_ob__COMMA_ -> true
  | N_seplist_exp_field_semicolon_ -> true
  | N_seplist_exp_ob__COMMA_ -> true
  | N_seplist_dec_field_semicolon_ -> true
  | N_seplist_dec_semicolon_ -> true
  | N_seplist_dec_SEMICOLON_ -> true
  | N_seplist_case_semicolon_ -> true
  | N_pat_opt -> true
  | N_option_typ_args_ -> true
  | N_option_query_ -> true
  | N_option_exp_post_ob__ -> true
  | N_option_exp_nullary_ob__ -> true
  | N_option_EQ_ -> true
  | N_list_preceded_COMMA_typ_bind__ -> true
  | N_list_preceded_COMMA_typ__ -> true
  | N_inst -> true
  | N_import_list -> true
  | N_annot_opt -> true
  | _ -> false

let print_symbol (type a) : a MenhirInterpreter.symbol -> string = function
  | MenhirInterpreter.T MenhirInterpreter.T_error -> "error"
  | MenhirInterpreter.T MenhirInterpreter.T_XOROP -> "XOROP"
  | MenhirInterpreter.T MenhirInterpreter.T_XORASSIGN -> "XORASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPSUBOP -> "WRAPSUBOP"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPSUBASSIGN -> "WRAPSUBASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPPOWOP -> "WRAPPOWOP"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPPOWASSIGN -> "WRAPPOWASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPMULOP -> "WRAPMULOP"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPMULASSIGN -> "WRAPMULASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPADDOP -> "WRAPADDOP"
  | MenhirInterpreter.T MenhirInterpreter.T_WRAPADDASSIGN -> "WRAPADDASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_WITH -> "WITH"
  | MenhirInterpreter.T MenhirInterpreter.T_WHILE -> "WHILE"
  | MenhirInterpreter.T MenhirInterpreter.T_VAR -> "VAR"
  | MenhirInterpreter.T MenhirInterpreter.T_UNDERSCORE -> "UNDERSCORE"
  | MenhirInterpreter.T MenhirInterpreter.T_TYPE -> "TYPE"
  | MenhirInterpreter.T MenhirInterpreter.T_TRY -> "TRY"
  | MenhirInterpreter.T MenhirInterpreter.T_TRANSIENT -> "TRANSIENT"
  | MenhirInterpreter.T MenhirInterpreter.T_TO_CANDID -> "TO_CANDID"
  | MenhirInterpreter.T MenhirInterpreter.T_THROW -> "THROW"
  | MenhirInterpreter.T MenhirInterpreter.T_TEXT -> "TEXT"
  | MenhirInterpreter.T MenhirInterpreter.T_SYSTEM -> "SYSTEM"
  | MenhirInterpreter.T MenhirInterpreter.T_SWITCH -> "SWITCH"
  | MenhirInterpreter.T MenhirInterpreter.T_SUBOP -> "SUBOP"
  | MenhirInterpreter.T MenhirInterpreter.T_SUB -> "SUB"
  | MenhirInterpreter.T MenhirInterpreter.T_STABLE -> "STABLE"
  | MenhirInterpreter.T MenhirInterpreter.T_SHROP -> "SHROP"
  | MenhirInterpreter.T MenhirInterpreter.T_SHRASSIGN -> "SHRASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_SHLOP -> "SHLOP"
  | MenhirInterpreter.T MenhirInterpreter.T_SHLASSIGN -> "SHLASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_SHARED -> "SHARED"
  | MenhirInterpreter.T MenhirInterpreter.T_SEMICOLON_EOL -> "SEMICOLON_EOL"
  | MenhirInterpreter.T MenhirInterpreter.T_SEMICOLON -> "SEMICOLON"
  | MenhirInterpreter.T MenhirInterpreter.T_RPAR -> "RPAR"
  | MenhirInterpreter.T MenhirInterpreter.T_ROTROP -> "ROTROP"
  | MenhirInterpreter.T MenhirInterpreter.T_ROTRASSIGN -> "ROTRASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_ROTLOP -> "ROTLOP"
  | MenhirInterpreter.T MenhirInterpreter.T_ROTLASSIGN -> "ROTLASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_RETURN -> "RETURN"
  | MenhirInterpreter.T MenhirInterpreter.T_RCURLY -> "RCURLY"
  | MenhirInterpreter.T MenhirInterpreter.T_RBRACKET -> "RBRACKET"
  | MenhirInterpreter.T MenhirInterpreter.T_QUEST -> "QUEST"
  | MenhirInterpreter.T MenhirInterpreter.T_QUERY -> "QUERY"
  | MenhirInterpreter.T MenhirInterpreter.T_PUBLIC -> "PUBLIC"
  | MenhirInterpreter.T MenhirInterpreter.T_PRIVATE -> "PRIVATE"
  | MenhirInterpreter.T MenhirInterpreter.T_PRIM -> "PRIM"
  | MenhirInterpreter.T MenhirInterpreter.T_POWOP -> "POWOP"
  | MenhirInterpreter.T MenhirInterpreter.T_POWASSIGN -> "POWASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_PLUSASSIGN -> "PLUSASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_PIPE -> "PIPE"
  | MenhirInterpreter.T MenhirInterpreter.T_PERSISTENT -> "PERSISTENT"
  | MenhirInterpreter.T MenhirInterpreter.T_OROP -> "OROP"
  | MenhirInterpreter.T MenhirInterpreter.T_ORASSIGN -> "ORASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_OR -> "OR"
  | MenhirInterpreter.T MenhirInterpreter.T_OLD -> "OLD"
  | MenhirInterpreter.T MenhirInterpreter.T_OBJECT -> "OBJECT"
  | MenhirInterpreter.T MenhirInterpreter.T_NULL -> "NULL"
  | MenhirInterpreter.T MenhirInterpreter.T_NOT -> "NOT"
  | MenhirInterpreter.T MenhirInterpreter.T_NEQOP -> "NEQOP"
  | MenhirInterpreter.T MenhirInterpreter.T_NAT -> "NAT"
  | MenhirInterpreter.T MenhirInterpreter.T_MULOP -> "MULOP"
  | MenhirInterpreter.T MenhirInterpreter.T_MULASSIGN -> "MULASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_MODULE -> "MODULE"
  | MenhirInterpreter.T MenhirInterpreter.T_MODOP -> "MODOP"
  | MenhirInterpreter.T MenhirInterpreter.T_MODASSIGN -> "MODASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_MINUSASSIGN -> "MINUSASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_LTOP -> "LTOP"
  | MenhirInterpreter.T MenhirInterpreter.T_LT -> "LT"
  | MenhirInterpreter.T MenhirInterpreter.T_LPAR -> "LPAR"
  | MenhirInterpreter.T MenhirInterpreter.T_LOOP -> "LOOP"
  | MenhirInterpreter.T MenhirInterpreter.T_LET -> "LET"
  | MenhirInterpreter.T MenhirInterpreter.T_LEOP -> "LEOP"
  | MenhirInterpreter.T MenhirInterpreter.T_LCURLY -> "LCURLY"
  | MenhirInterpreter.T MenhirInterpreter.T_LBRACKET -> "LBRACKET"
  | MenhirInterpreter.T MenhirInterpreter.T_LABEL -> "LABEL"
  | MenhirInterpreter.T MenhirInterpreter.T_INVARIANT -> "INVARIANT"
  | MenhirInterpreter.T MenhirInterpreter.T_IN -> "IN"
  | MenhirInterpreter.T MenhirInterpreter.T_IMPORT -> "IMPORT"
  | MenhirInterpreter.T MenhirInterpreter.T_IMPLIES -> "IMPLIES"
  | MenhirInterpreter.T MenhirInterpreter.T_IGNORE -> "IGNORE"
  | MenhirInterpreter.T MenhirInterpreter.T_IF -> "IF"
  | MenhirInterpreter.T MenhirInterpreter.T_ID -> "ID"
  | MenhirInterpreter.T MenhirInterpreter.T_HASH -> "HASH"
  | MenhirInterpreter.T MenhirInterpreter.T_GTOP -> "GTOP"
  | MenhirInterpreter.T MenhirInterpreter.T_GT -> "GT"
  | MenhirInterpreter.T MenhirInterpreter.T_GEOP -> "GEOP"
  | MenhirInterpreter.T MenhirInterpreter.T_FUNC -> "FUNC"
  | MenhirInterpreter.T MenhirInterpreter.T_FROM_CANDID -> "FROM_CANDID"
  | MenhirInterpreter.T MenhirInterpreter.T_FOR -> "FOR"
  | MenhirInterpreter.T MenhirInterpreter.T_FLOAT -> "FLOAT"
  | MenhirInterpreter.T MenhirInterpreter.T_FLEXIBLE -> "FLEXIBLE"
  | MenhirInterpreter.T MenhirInterpreter.T_FINALLY -> "FINALLY"
  | MenhirInterpreter.T MenhirInterpreter.T_EQOP -> "EQOP"
  | MenhirInterpreter.T MenhirInterpreter.T_EQ -> "EQ"
  | MenhirInterpreter.T MenhirInterpreter.T_EOF -> "EOF"
  | MenhirInterpreter.T MenhirInterpreter.T_ELSE -> "ELSE"
  | MenhirInterpreter.T MenhirInterpreter.T_DOT_NUM -> "DOT_NUM"
  | MenhirInterpreter.T MenhirInterpreter.T_DOT -> "DOT"
  | MenhirInterpreter.T MenhirInterpreter.T_DO -> "DO"
  | MenhirInterpreter.T MenhirInterpreter.T_DIVOP -> "DIVOP"
  | MenhirInterpreter.T MenhirInterpreter.T_DIVASSIGN -> "DIVASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_DISALLOWED -> "DISALLOWED"
  | MenhirInterpreter.T MenhirInterpreter.T_DEBUG_SHOW -> "DEBUG_SHOW"
  | MenhirInterpreter.T MenhirInterpreter.T_DEBUG -> "DEBUG"
  | MenhirInterpreter.T MenhirInterpreter.T_CONTINUE -> "CONTINUE"
  | MenhirInterpreter.T MenhirInterpreter.T_COMPOSITE -> "COMPOSITE"
  | MenhirInterpreter.T MenhirInterpreter.T_COMMA -> "COMMA"
  | MenhirInterpreter.T MenhirInterpreter.T_COLON -> "COLON"
  | MenhirInterpreter.T MenhirInterpreter.T_CLASS -> "CLASS"
  | MenhirInterpreter.T MenhirInterpreter.T_CHAR -> "CHAR"
  | MenhirInterpreter.T MenhirInterpreter.T_CATCH -> "CATCH"
  | MenhirInterpreter.T MenhirInterpreter.T_CATASSIGN -> "CATASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_CASE -> "CASE"
  | MenhirInterpreter.T MenhirInterpreter.T_BREAK -> "BREAK"
  | MenhirInterpreter.T MenhirInterpreter.T_BOOL -> "BOOL"
  | MenhirInterpreter.T MenhirInterpreter.T_BANG -> "BANG"
  | MenhirInterpreter.T MenhirInterpreter.T_AWAITSTAR -> "AWAITSTAR"
  | MenhirInterpreter.T MenhirInterpreter.T_AWAITQUEST -> "AWAITQUEST"
  | MenhirInterpreter.T MenhirInterpreter.T_AWAIT -> "AWAIT"
  | MenhirInterpreter.T MenhirInterpreter.T_ASYNCSTAR -> "ASYNCSTAR"
  | MenhirInterpreter.T MenhirInterpreter.T_ASYNC -> "ASYNC"
  | MenhirInterpreter.T MenhirInterpreter.T_ASSIGN -> "ASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_ASSERT -> "ASSERT"
  | MenhirInterpreter.T MenhirInterpreter.T_ARROW -> "ARROW"
  | MenhirInterpreter.T MenhirInterpreter.T_ANDOP -> "ANDOP"
  | MenhirInterpreter.T MenhirInterpreter.T_ANDASSIGN -> "ANDASSIGN"
  | MenhirInterpreter.T MenhirInterpreter.T_AND -> "AND"
  | MenhirInterpreter.T MenhirInterpreter.T_ADDOP -> "ADDOP"
  | MenhirInterpreter.T MenhirInterpreter.T_ACTOR -> "ACTOR"
  | MenhirInterpreter.N MenhirInterpreter.N_vis -> "vis"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_variant -> "typ_variant"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_un -> "typ_un"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_tag -> "typ_tag"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_pre -> "typ_pre"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_obj -> "typ_obj"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_nullary -> "typ_nullary"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_nobin -> "typ_nobin"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_item -> "typ_item"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_field -> "typ_field"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_dec -> "typ_dec"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_bind -> "typ_bind"
  | MenhirInterpreter.N MenhirInterpreter.N_typ_args -> "typ_args"
  | MenhirInterpreter.N MenhirInterpreter.N_typ -> "typ"
  | MenhirInterpreter.N MenhirInterpreter.N_start -> "start"
  | MenhirInterpreter.N MenhirInterpreter.N_stab_field -> "stab_field"
  | MenhirInterpreter.N MenhirInterpreter.N_stab -> "stab"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist1_typ_tag_semicolon_ -> "seplist1(typ_tag,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist1_exp_field_semicolon_ -> "seplist1(exp_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_tag_semicolon_ -> "seplist(typ_tag,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_item_COMMA_ -> "seplist(typ_item,COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_field_semicolon_ -> "seplist(typ_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_dec_semicolon_ -> "seplist(typ_dec,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_bind_COMMA_ -> "seplist(typ_bind,COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_typ_COMMA_ -> "seplist(typ,COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_stab_field_semicolon_ -> "seplist(stab_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_pre_stab_field_semicolon_ -> "seplist(pre_stab_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_pat_field_semicolon_ -> "seplist(pat_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_pat_bin_COMMA_ -> "seplist(pat_bin,COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_imp_semicolon_ -> "seplist(imp,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_imp_SEMICOLON_ -> "seplist(imp,SEMICOLON)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_nonvar_ob__COMMA_ -> "seplist(exp_nonvar(ob),COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_field_semicolon_ -> "seplist(exp_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_exp_ob__COMMA_ -> "seplist(exp(ob),COMMA)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_field_semicolon_ -> "seplist(dec_field,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_semicolon_ -> "seplist(dec,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_dec_SEMICOLON_ -> "seplist(dec,SEMICOLON)"
  | MenhirInterpreter.N MenhirInterpreter.N_seplist_case_semicolon_ -> "seplist(case,semicolon)"
  | MenhirInterpreter.N MenhirInterpreter.N_separated_nonempty_list_AND_exp_post_ob__ -> "separated_nonempty_list(AND,exp_post(ob))"
  | MenhirInterpreter.N MenhirInterpreter.N_pre_stab_field -> "pre_stab_field"
  | MenhirInterpreter.N MenhirInterpreter.N_path -> "path"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_un -> "pat_un"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_plain -> "pat_plain"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_opt -> "pat_opt"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_nullary -> "pat_nullary"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_field -> "pat_field"
  | MenhirInterpreter.N MenhirInterpreter.N_pat_bin -> "pat_bin"
  | MenhirInterpreter.N MenhirInterpreter.N_pat -> "pat"
  | MenhirInterpreter.N MenhirInterpreter.N_parse_stab_sig -> "parse_stab_sig"
  | MenhirInterpreter.N MenhirInterpreter.N_parse_prog_interactive -> "parse_prog_interactive"
  | MenhirInterpreter.N MenhirInterpreter.N_parse_prog -> "parse_prog"
  | MenhirInterpreter.N MenhirInterpreter.N_parse_module_header -> "parse_module_header"
  | MenhirInterpreter.N MenhirInterpreter.N_option_typ_args_ -> "option(typ_args)"
  | MenhirInterpreter.N MenhirInterpreter.N_option_query_ -> "option(query)"
  | MenhirInterpreter.N MenhirInterpreter.N_option_exp_post_ob__ -> "option(exp_post(ob))"
  | MenhirInterpreter.N MenhirInterpreter.N_option_exp_nullary_ob__ -> "option(exp_nullary(ob))"
  | MenhirInterpreter.N MenhirInterpreter.N_option_EQ_ -> "option(EQ)"
  | MenhirInterpreter.N MenhirInterpreter.N_obj_or_class_dec -> "obj_or_class_dec"
  | MenhirInterpreter.N MenhirInterpreter.N_obj_body -> "obj_body"
  | MenhirInterpreter.N MenhirInterpreter.N_ob -> "ob"
  | MenhirInterpreter.N MenhirInterpreter.N_lit -> "lit"
  | MenhirInterpreter.N MenhirInterpreter.N_list_preceded_COMMA_typ_bind__ -> "list(preceded(COMMA,typ_bind))"
  | MenhirInterpreter.N MenhirInterpreter.N_list_preceded_COMMA_typ__ -> "list(preceded(COMMA,typ))"
  | MenhirInterpreter.N MenhirInterpreter.N_inst -> "inst"
  | MenhirInterpreter.N MenhirInterpreter.N_import_list -> "import_list"
  | MenhirInterpreter.N MenhirInterpreter.N_imp -> "imp"
  | MenhirInterpreter.N MenhirInterpreter.N_func_pat -> "func_pat"
  | MenhirInterpreter.N MenhirInterpreter.N_func_body -> "func_body"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_un_ob_ -> "exp_un(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_un_bl_ -> "exp_un(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_post_ob_ -> "exp_post(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_post_bl_ -> "exp_post(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_plain -> "exp_plain"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_obj -> "exp_obj"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nullary_ob_ -> "exp_nullary(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nullary_bl_ -> "exp_nullary(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nonvar_ob_ -> "exp_nonvar(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nonvar_bl_ -> "exp_nonvar(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nondec_ob_ -> "exp_nondec(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nondec_bl_ -> "exp_nondec(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_nest -> "exp_nest"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_field -> "exp_field"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_bin_ob_ -> "exp_bin(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_bin_bl_ -> "exp_bin(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_ob_ -> "exp(ob)"
  | MenhirInterpreter.N MenhirInterpreter.N_exp_bl_ -> "exp(bl)"
  | MenhirInterpreter.N MenhirInterpreter.N_dec_var -> "dec_var"
  | MenhirInterpreter.N MenhirInterpreter.N_dec_nonvar -> "dec_nonvar"
  | MenhirInterpreter.N MenhirInterpreter.N_dec_field -> "dec_field"
  | MenhirInterpreter.N MenhirInterpreter.N_dec -> "dec"
  | MenhirInterpreter.N MenhirInterpreter.N_class_body -> "class_body"
  | MenhirInterpreter.N MenhirInterpreter.N_catch -> "catch"
  | MenhirInterpreter.N MenhirInterpreter.N_case -> "case"
  | MenhirInterpreter.N MenhirInterpreter.N_block -> "block"
  | MenhirInterpreter.N MenhirInterpreter.N_bl -> "bl"
  | MenhirInterpreter.N MenhirInterpreter.N_annot_opt -> "annot_opt"
mo_frontend/recover_parser.ml

0.00%
