// Copyright (c) 2015 Microsoft Corporation. All rights reserved.
// Released under Apache 2.0 license as described in the file LICENSE.
// DO NOT EDIT, automatically generated file, generator scripts/gen_constants_cpp.py
#include "util/name.h"
namespace lean{
name const * g_absurd = nullptr;
name const * g_and = nullptr;
name const * g_and_left = nullptr;
name const * g_and_right = nullptr;
name const * g_and_intro = nullptr;
name const * g_and_rec = nullptr;
name const * g_and_cases_on = nullptr;
name const * g_array = nullptr;
name const * g_auto_param = nullptr;
name const * g_bit0 = nullptr;
name const * g_bit1 = nullptr;
name const * g_byte_array = nullptr;
name const * g_bool = nullptr;
name const * g_bool_false = nullptr;
name const * g_bool_true = nullptr;
name const * g_cast = nullptr;
name const * g_char = nullptr;
name const * g_char_mk = nullptr;
name const * g_char_of_nat = nullptr;
name const * g_coe = nullptr;
name const * g_coe_fn = nullptr;
name const * g_coe_sort = nullptr;
name const * g_coe_to_lift = nullptr;
name const * g_congr = nullptr;
name const * g_congr_arg = nullptr;
name const * g_congr_fun = nullptr;
name const * g_decidable = nullptr;
name const * g_decidable_cases_on = nullptr;
name const * g_decidable_decide = nullptr;
name const * g_dite = nullptr;
name const * g_empty = nullptr;
name const * g_exists = nullptr;
name const * g_eq = nullptr;
name const * g_eq_cases_on = nullptr;
name const * g_eq_rec_on = nullptr;
name const * g_eq_rec = nullptr;
name const * g_eq_mp = nullptr;
name const * g_eq_mpr = nullptr;
name const * g_eq_ndrec = nullptr;
name const * g_eq_refl = nullptr;
name const * g_eq_subst = nullptr;
name const * g_eq_symm = nullptr;
name const * g_eq_trans = nullptr;
name const * g_eq_of_heq = nullptr;
name const * g_eq_true_intro = nullptr;
name const * g_eq_false_intro = nullptr;
name const * g_eq_self_iff_true = nullptr;
name const * g_lean_level = nullptr;
name const * g_lean_expr = nullptr;
name const * g_false = nullptr;
name const * g_false_of_true_iff_false = nullptr;
name const * g_false_of_true_eq_false = nullptr;
name const * g_false_rec = nullptr;
name const * g_false_cases_on = nullptr;
name const * g_fin_mk = nullptr;
name const * g_funext = nullptr;
name const * g_has_add = nullptr;
name const * g_has_add_add = nullptr;
name const * g_has_div_div = nullptr;
name const * g_has_emptyc_emptyc = nullptr;
name const * g_has_insert_insert = nullptr;
name const * g_has_neg_neg = nullptr;
name const * g_has_one = nullptr;
name const * g_has_one_one = nullptr;
name const * g_has_sep_sep = nullptr;
name const * g_has_sub_sub = nullptr;
name const * g_has_well_founded = nullptr;
name const * g_has_well_founded_r = nullptr;
name const * g_has_well_founded_wf = nullptr;
name const * g_has_zero = nullptr;
name const * g_has_zero_zero = nullptr;
name const * g_has_coe_t = nullptr;
name const * g_heq = nullptr;
name const * g_heq_refl = nullptr;
name const * g_heq_symm = nullptr;
name const * g_heq_trans = nullptr;
name const * g_heq_of_eq = nullptr;
name const * g_huge_fuel = nullptr;
name const * g_id = nullptr;
name const * g_id_rhs = nullptr;
name const * g_id_delta = nullptr;
name const * g_iff_false_intro = nullptr;
name const * g_iff = nullptr;
name const * g_iff_mp = nullptr;
name const * g_iff_mpr = nullptr;
name const * g_iff_refl = nullptr;
name const * g_iff_symm = nullptr;
name const * g_iff_trans = nullptr;
name const * g_iff_true_intro = nullptr;
name const * g_inhabited = nullptr;
name const * g_inhabited_default = nullptr;
name const * g_int = nullptr;
name const * g_int_nat_abs = nullptr;
name const * g_int_lt = nullptr;
name const * g_int_dec_lt = nullptr;
name const * g_int_of_nat = nullptr;
name const * g_inline = nullptr;
name const * g_io = nullptr;
name const * g_ite = nullptr;
name const * g_lc_proof = nullptr;
name const * g_lc_unreachable = nullptr;
name const * g_list = nullptr;
name const * g_list_nil = nullptr;
name const * g_list_cons = nullptr;
name const * g_match_failed = nullptr;
name const * g_monad = nullptr;
name const * g_monad_fail = nullptr;
name const * g_lean_name = nullptr;
name const * g_lean_name_anonymous = nullptr;
name const * g_lean_name_mk_numeral = nullptr;
name const * g_lean_name_mk_string = nullptr;
name const * g_lean_parser_leading_node = nullptr;
name const * g_lean_parser_trailing_node = nullptr;
name const * g_nat = nullptr;
name const * g_nat_succ = nullptr;
name const * g_nat_zero = nullptr;
name const * g_nat_has_zero = nullptr;
name const * g_nat_has_one = nullptr;
name const * g_nat_has_add = nullptr;
name const * g_nat_add = nullptr;
name const * g_nat_dec_eq = nullptr;
name const * g_nat_sub = nullptr;
name const * g_ne = nullptr;
name const * g_neq_of_not_iff = nullptr;
name const * g_not = nullptr;
name const * g_not_of_iff_false = nullptr;
name const * g_not_of_eq_false = nullptr;
name const * g_of_eq_true = nullptr;
name const * g_of_iff_true = nullptr;
name const * g_opt_param = nullptr;
name const * g_or = nullptr;
name const * g_out_param = nullptr;
name const * g_punit = nullptr;
name const * g_punit_unit = nullptr;
name const * g_prod_mk = nullptr;
name const * g_pprod = nullptr;
name const * g_pprod_mk = nullptr;
name const * g_pprod_fst = nullptr;
name const * g_pprod_snd = nullptr;
name const * g_propext = nullptr;
name const * g_quot_mk = nullptr;
name const * g_quot_lift = nullptr;
name const * g_rfl = nullptr;
name const * g_scope_trace = nullptr;
name const * g_set_of = nullptr;
name const * g_psigma = nullptr;
name const * g_psigma_mk = nullptr;
name const * g_psigma_fst = nullptr;
name const * g_psigma_snd = nullptr;
name const * g_singleton = nullptr;
name const * g_sorry_ax = nullptr;
name const * g_string = nullptr;
name const * g_string_data = nullptr;
name const * g_string_empty = nullptr;
name const * g_string_str = nullptr;
name const * g_subsingleton = nullptr;
name const * g_subsingleton_elim = nullptr;
name const * g_subtype = nullptr;
name const * g_psum = nullptr;
name const * g_psum_cases_on = nullptr;
name const * g_psum_inl = nullptr;
name const * g_psum_inr = nullptr;
name const * g_task = nullptr;
name const * g_thunk = nullptr;
name const * g_thunk_mk = nullptr;
name const * g_thunk_get = nullptr;
name const * g_true = nullptr;
name const * g_true_intro = nullptr;
name const * g_typed_expr = nullptr;
name const * g_unit = nullptr;
name const * g_unit_unit = nullptr;
name const * g_uint8 = nullptr;
name const * g_uint16 = nullptr;
name const * g_uint32 = nullptr;
name const * g_uint64 = nullptr;
name const * g_usize = nullptr;
name const * g_well_founded_fix = nullptr;
name const * g_well_founded_tactics = nullptr;
name const * g_well_founded_tactics_default = nullptr;
name const * g_well_founded_tactics_rel_tac = nullptr;
name const * g_well_founded_tactics_dec_tac = nullptr;
void initialize_constants() {
    g_absurd = new name{"absurd"};
    g_and = new name{"And"};
    g_and_left = new name{"And", "left"};
    g_and_right = new name{"And", "right"};
    g_and_intro = new name{"And", "intro"};
    g_and_rec = new name{"And", "rec"};
    g_and_cases_on = new name{"And", "casesOn"};
    g_array = new name{"Array"};
    g_auto_param = new name{"autoParam"};
    g_bit0 = new name{"bit0"};
    g_bit1 = new name{"bit1"};
    g_byte_array = new name{"ByteArray"};
    g_bool = new name{"Bool"};
    g_bool_false = new name{"Bool", "false"};
    g_bool_true = new name{"Bool", "true"};
    g_cast = new name{"cast"};
    g_char = new name{"Char"};
    g_char_mk = new name{"Char", "mk"};
    g_char_of_nat = new name{"Char", "ofNat"};
    g_coe = new name{"coe"};
    g_coe_fn = new name{"coeFn"};
    g_coe_sort = new name{"coeSort"};
    g_coe_to_lift = new name{"coeToLift"};
    g_congr = new name{"congr"};
    g_congr_arg = new name{"congrArg"};
    g_congr_fun = new name{"congrFun"};
    g_decidable = new name{"Decidable"};
    g_decidable_cases_on = new name{"Decidable", "casesOn"};
    g_decidable_decide = new name{"Decidable", "decide"};
    g_dite = new name{"dite"};
    g_empty = new name{"Empty"};
    g_exists = new name{"Exists"};
    g_eq = new name{"Eq"};
    g_eq_cases_on = new name{"Eq", "casesOn"};
    g_eq_rec_on = new name{"Eq", "recOn"};
    g_eq_rec = new name{"Eq", "rec"};
    g_eq_mp = new name{"Eq", "mp"};
    g_eq_mpr = new name{"Eq", "mpr"};
    g_eq_ndrec = new name{"Eq", "ndrec"};
    g_eq_refl = new name{"Eq", "refl"};
    g_eq_subst = new name{"Eq", "subst"};
    g_eq_symm = new name{"Eq", "symm"};
    g_eq_trans = new name{"Eq", "trans"};
    g_eq_of_heq = new name{"eqOfHeq"};
    g_eq_true_intro = new name{"eqTrueIntro"};
    g_eq_false_intro = new name{"eqFalseIntro"};
    g_eq_self_iff_true = new name{"eqSelfIffTrue"};
    g_lean_level = new name{"Lean", "Level"};
    g_lean_expr = new name{"Lean", "Expr"};
    g_false = new name{"False"};
    g_false_of_true_iff_false = new name{"falseOfTrueIffFalse"};
    g_false_of_true_eq_false = new name{"falseOfTrueEqFalse"};
    g_false_rec = new name{"False", "rec"};
    g_false_cases_on = new name{"False", "casesOn"};
    g_fin_mk = new name{"Fin", "mk"};
    g_funext = new name{"funext"};
    g_has_add = new name{"HasAdd"};
    g_has_add_add = new name{"HasAdd", "add"};
    g_has_div_div = new name{"HasDiv", "div"};
    g_has_emptyc_emptyc = new name{"HasEmptyc", "emptyc"};
    g_has_insert_insert = new name{"HasInsert", "insert"};
    g_has_neg_neg = new name{"HasNeg", "neg"};
    g_has_one = new name{"HasOne"};
    g_has_one_one = new name{"HasOne", "one"};
    g_has_sep_sep = new name{"HasSep", "sep"};
    g_has_sub_sub = new name{"HasSub", "sub"};
    g_has_well_founded = new name{"HasWellFounded"};
    g_has_well_founded_r = new name{"HasWellFounded", "r"};
    g_has_well_founded_wf = new name{"HasWellFounded", "wf"};
    g_has_zero = new name{"HasZero"};
    g_has_zero_zero = new name{"HasZero", "zero"};
    g_has_coe_t = new name{"HasCoeT"};
    g_heq = new name{"Heq"};
    g_heq_refl = new name{"Heq", "refl"};
    g_heq_symm = new name{"Heq", "symm"};
    g_heq_trans = new name{"Heq", "trans"};
    g_heq_of_eq = new name{"heqOfEq"};
    g_huge_fuel = new name{"hugeFuel"};
    g_id = new name{"id"};
    g_id_rhs = new name{"idRhs"};
    g_id_delta = new name{"idDelta"};
    g_iff_false_intro = new name{"iffFalseIntro"};
    g_iff = new name{"Iff"};
    g_iff_mp = new name{"Iff", "mp"};
    g_iff_mpr = new name{"Iff", "mpr"};
    g_iff_refl = new name{"Iff", "refl"};
    g_iff_symm = new name{"Iff", "symm"};
    g_iff_trans = new name{"Iff", "trans"};
    g_iff_true_intro = new name{"iffTrueIntro"};
    g_inhabited = new name{"Inhabited"};
    g_inhabited_default = new name{"Inhabited", "default"};
    g_int = new name{"Int"};
    g_int_nat_abs = new name{"Int", "natAbs"};
    g_int_lt = new name{"Int", "lt"};
    g_int_dec_lt = new name{"Int", "decLt"};
    g_int_of_nat = new name{"Int", "ofNat"};
    g_inline = new name{"inline"};
    g_io = new name{"IO"};
    g_ite = new name{"ite"};
    g_lc_proof = new name{"lcProof"};
    g_lc_unreachable = new name{"lcUnreachable"};
    g_list = new name{"List"};
    g_list_nil = new name{"List", "nil"};
    g_list_cons = new name{"List", "cons"};
    g_match_failed = new name{"matchFailed"};
    g_monad = new name{"Monad"};
    g_monad_fail = new name{"MonadFail"};
    g_lean_name = new name{"Lean", "Name"};
    g_lean_name_anonymous = new name{"Lean", "Name", "anonymous"};
    g_lean_name_mk_numeral = new name{"Lean", "Name", "mkNumeral"};
    g_lean_name_mk_string = new name{"Lean", "Name", "mkString"};
    g_lean_parser_leading_node = new name{"Lean", "Parser", "leadingNode"};
    g_lean_parser_trailing_node = new name{"Lean", "Parser", "trailingNode"};
    g_nat = new name{"Nat"};
    g_nat_succ = new name{"Nat", "succ"};
    g_nat_zero = new name{"Nat", "zero"};
    g_nat_has_zero = new name{"Nat", "HasZero"};
    g_nat_has_one = new name{"Nat", "HasOne"};
    g_nat_has_add = new name{"Nat", "HasAdd"};
    g_nat_add = new name{"Nat", "add"};
    g_nat_dec_eq = new name{"Nat", "decEq"};
    g_nat_sub = new name{"Nat", "sub"};
    g_ne = new name{"ne"};
    g_neq_of_not_iff = new name{"neqOfNotIff"};
    g_not = new name{"Not"};
    g_not_of_iff_false = new name{"notOfIffFalse"};
    g_not_of_eq_false = new name{"notOfEqFalse"};
    g_of_eq_true = new name{"ofEqTrue"};
    g_of_iff_true = new name{"ofIffTrue"};
    g_opt_param = new name{"optParam"};
    g_or = new name{"Or"};
    g_out_param = new name{"outParam"};
    g_punit = new name{"PUnit"};
    g_punit_unit = new name{"PUnit", "unit"};
    g_prod_mk = new name{"Prod", "mk"};
    g_pprod = new name{"PProd"};
    g_pprod_mk = new name{"PProd", "mk"};
    g_pprod_fst = new name{"PProd", "fst"};
    g_pprod_snd = new name{"PProd", "snd"};
    g_propext = new name{"propext"};
    g_quot_mk = new name{"Quot", "mk"};
    g_quot_lift = new name{"Quot", "lift"};
    g_rfl = new name{"rfl"};
    g_scope_trace = new name{"scopeTrace"};
    g_set_of = new name{"setOf"};
    g_psigma = new name{"PSigma"};
    g_psigma_mk = new name{"PSigma", "mk"};
    g_psigma_fst = new name{"PSigma", "fst"};
    g_psigma_snd = new name{"PSigma", "snd"};
    g_singleton = new name{"singleton"};
    g_sorry_ax = new name{"sorryAx"};
    g_string = new name{"String"};
    g_string_data = new name{"String", "data"};
    g_string_empty = new name{"String", "Empty"};
    g_string_str = new name{"String", "str"};
    g_subsingleton = new name{"subsingleton"};
    g_subsingleton_elim = new name{"subsingleton", "elim"};
    g_subtype = new name{"Subtype"};
    g_psum = new name{"PSum"};
    g_psum_cases_on = new name{"PSum", "casesOn"};
    g_psum_inl = new name{"PSum", "inl"};
    g_psum_inr = new name{"PSum", "inr"};
    g_task = new name{"Task"};
    g_thunk = new name{"Thunk"};
    g_thunk_mk = new name{"Thunk", "mk"};
    g_thunk_get = new name{"Thunk", "get"};
    g_true = new name{"True"};
    g_true_intro = new name{"True", "intro"};
    g_typed_expr = new name{"typedExpr"};
    g_unit = new name{"Unit"};
    g_unit_unit = new name{"Unit", "unit"};
    g_uint8 = new name{"UInt8"};
    g_uint16 = new name{"UInt16"};
    g_uint32 = new name{"UInt32"};
    g_uint64 = new name{"UInt64"};
    g_usize = new name{"USize"};
    g_well_founded_fix = new name{"WellFounded", "fix"};
    g_well_founded_tactics = new name{"wellFoundedTactics"};
    g_well_founded_tactics_default = new name{"wellFoundedTactics", "default"};
    g_well_founded_tactics_rel_tac = new name{"wellFoundedTactics", "relTac"};
    g_well_founded_tactics_dec_tac = new name{"wellFoundedTactics", "decTac"};
}
void finalize_constants() {
    delete g_absurd;
    delete g_and;
    delete g_and_left;
    delete g_and_right;
    delete g_and_intro;
    delete g_and_rec;
    delete g_and_cases_on;
    delete g_array;
    delete g_auto_param;
    delete g_bit0;
    delete g_bit1;
    delete g_byte_array;
    delete g_bool;
    delete g_bool_false;
    delete g_bool_true;
    delete g_cast;
    delete g_char;
    delete g_char_mk;
    delete g_char_of_nat;
    delete g_coe;
    delete g_coe_fn;
    delete g_coe_sort;
    delete g_coe_to_lift;
    delete g_congr;
    delete g_congr_arg;
    delete g_congr_fun;
    delete g_decidable;
    delete g_decidable_cases_on;
    delete g_decidable_decide;
    delete g_dite;
    delete g_empty;
    delete g_exists;
    delete g_eq;
    delete g_eq_cases_on;
    delete g_eq_rec_on;
    delete g_eq_rec;
    delete g_eq_mp;
    delete g_eq_mpr;
    delete g_eq_ndrec;
    delete g_eq_refl;
    delete g_eq_subst;
    delete g_eq_symm;
    delete g_eq_trans;
    delete g_eq_of_heq;
    delete g_eq_true_intro;
    delete g_eq_false_intro;
    delete g_eq_self_iff_true;
    delete g_lean_level;
    delete g_lean_expr;
    delete g_false;
    delete g_false_of_true_iff_false;
    delete g_false_of_true_eq_false;
    delete g_false_rec;
    delete g_false_cases_on;
    delete g_fin_mk;
    delete g_funext;
    delete g_has_add;
    delete g_has_add_add;
    delete g_has_div_div;
    delete g_has_emptyc_emptyc;
    delete g_has_insert_insert;
    delete g_has_neg_neg;
    delete g_has_one;
    delete g_has_one_one;
    delete g_has_sep_sep;
    delete g_has_sub_sub;
    delete g_has_well_founded;
    delete g_has_well_founded_r;
    delete g_has_well_founded_wf;
    delete g_has_zero;
    delete g_has_zero_zero;
    delete g_has_coe_t;
    delete g_heq;
    delete g_heq_refl;
    delete g_heq_symm;
    delete g_heq_trans;
    delete g_heq_of_eq;
    delete g_huge_fuel;
    delete g_id;
    delete g_id_rhs;
    delete g_id_delta;
    delete g_iff_false_intro;
    delete g_iff;
    delete g_iff_mp;
    delete g_iff_mpr;
    delete g_iff_refl;
    delete g_iff_symm;
    delete g_iff_trans;
    delete g_iff_true_intro;
    delete g_inhabited;
    delete g_inhabited_default;
    delete g_int;
    delete g_int_nat_abs;
    delete g_int_lt;
    delete g_int_dec_lt;
    delete g_int_of_nat;
    delete g_inline;
    delete g_io;
    delete g_ite;
    delete g_lc_proof;
    delete g_lc_unreachable;
    delete g_list;
    delete g_list_nil;
    delete g_list_cons;
    delete g_match_failed;
    delete g_monad;
    delete g_monad_fail;
    delete g_lean_name;
    delete g_lean_name_anonymous;
    delete g_lean_name_mk_numeral;
    delete g_lean_name_mk_string;
    delete g_lean_parser_leading_node;
    delete g_lean_parser_trailing_node;
    delete g_nat;
    delete g_nat_succ;
    delete g_nat_zero;
    delete g_nat_has_zero;
    delete g_nat_has_one;
    delete g_nat_has_add;
    delete g_nat_add;
    delete g_nat_dec_eq;
    delete g_nat_sub;
    delete g_ne;
    delete g_neq_of_not_iff;
    delete g_not;
    delete g_not_of_iff_false;
    delete g_not_of_eq_false;
    delete g_of_eq_true;
    delete g_of_iff_true;
    delete g_opt_param;
    delete g_or;
    delete g_out_param;
    delete g_punit;
    delete g_punit_unit;
    delete g_prod_mk;
    delete g_pprod;
    delete g_pprod_mk;
    delete g_pprod_fst;
    delete g_pprod_snd;
    delete g_propext;
    delete g_quot_mk;
    delete g_quot_lift;
    delete g_rfl;
    delete g_scope_trace;
    delete g_set_of;
    delete g_psigma;
    delete g_psigma_mk;
    delete g_psigma_fst;
    delete g_psigma_snd;
    delete g_singleton;
    delete g_sorry_ax;
    delete g_string;
    delete g_string_data;
    delete g_string_empty;
    delete g_string_str;
    delete g_subsingleton;
    delete g_subsingleton_elim;
    delete g_subtype;
    delete g_psum;
    delete g_psum_cases_on;
    delete g_psum_inl;
    delete g_psum_inr;
    delete g_task;
    delete g_thunk;
    delete g_thunk_mk;
    delete g_thunk_get;
    delete g_true;
    delete g_true_intro;
    delete g_typed_expr;
    delete g_unit;
    delete g_unit_unit;
    delete g_uint8;
    delete g_uint16;
    delete g_uint32;
    delete g_uint64;
    delete g_usize;
    delete g_well_founded_fix;
    delete g_well_founded_tactics;
    delete g_well_founded_tactics_default;
    delete g_well_founded_tactics_rel_tac;
    delete g_well_founded_tactics_dec_tac;
}
name const & get_absurd_name() { return *g_absurd; }
name const & get_and_name() { return *g_and; }
name const & get_and_left_name() { return *g_and_left; }
name const & get_and_right_name() { return *g_and_right; }
name const & get_and_intro_name() { return *g_and_intro; }
name const & get_and_rec_name() { return *g_and_rec; }
name const & get_and_cases_on_name() { return *g_and_cases_on; }
name const & get_array_name() { return *g_array; }
name const & get_auto_param_name() { return *g_auto_param; }
name const & get_bit0_name() { return *g_bit0; }
name const & get_bit1_name() { return *g_bit1; }
name const & get_byte_array_name() { return *g_byte_array; }
name const & get_bool_name() { return *g_bool; }
name const & get_bool_false_name() { return *g_bool_false; }
name const & get_bool_true_name() { return *g_bool_true; }
name const & get_cast_name() { return *g_cast; }
name const & get_char_name() { return *g_char; }
name const & get_char_mk_name() { return *g_char_mk; }
name const & get_char_of_nat_name() { return *g_char_of_nat; }
name const & get_coe_name() { return *g_coe; }
name const & get_coe_fn_name() { return *g_coe_fn; }
name const & get_coe_sort_name() { return *g_coe_sort; }
name const & get_coe_to_lift_name() { return *g_coe_to_lift; }
name const & get_congr_name() { return *g_congr; }
name const & get_congr_arg_name() { return *g_congr_arg; }
name const & get_congr_fun_name() { return *g_congr_fun; }
name const & get_decidable_name() { return *g_decidable; }
name const & get_decidable_cases_on_name() { return *g_decidable_cases_on; }
name const & get_decidable_decide_name() { return *g_decidable_decide; }
name const & get_dite_name() { return *g_dite; }
name const & get_empty_name() { return *g_empty; }
name const & get_exists_name() { return *g_exists; }
name const & get_eq_name() { return *g_eq; }
name const & get_eq_cases_on_name() { return *g_eq_cases_on; }
name const & get_eq_rec_on_name() { return *g_eq_rec_on; }
name const & get_eq_rec_name() { return *g_eq_rec; }
name const & get_eq_mp_name() { return *g_eq_mp; }
name const & get_eq_mpr_name() { return *g_eq_mpr; }
name const & get_eq_ndrec_name() { return *g_eq_ndrec; }
name const & get_eq_refl_name() { return *g_eq_refl; }
name const & get_eq_subst_name() { return *g_eq_subst; }
name const & get_eq_symm_name() { return *g_eq_symm; }
name const & get_eq_trans_name() { return *g_eq_trans; }
name const & get_eq_of_heq_name() { return *g_eq_of_heq; }
name const & get_eq_true_intro_name() { return *g_eq_true_intro; }
name const & get_eq_false_intro_name() { return *g_eq_false_intro; }
name const & get_eq_self_iff_true_name() { return *g_eq_self_iff_true; }
name const & get_lean_level_name() { return *g_lean_level; }
name const & get_lean_expr_name() { return *g_lean_expr; }
name const & get_false_name() { return *g_false; }
name const & get_false_of_true_iff_false_name() { return *g_false_of_true_iff_false; }
name const & get_false_of_true_eq_false_name() { return *g_false_of_true_eq_false; }
name const & get_false_rec_name() { return *g_false_rec; }
name const & get_false_cases_on_name() { return *g_false_cases_on; }
name const & get_fin_mk_name() { return *g_fin_mk; }
name const & get_funext_name() { return *g_funext; }
name const & get_has_add_name() { return *g_has_add; }
name const & get_has_add_add_name() { return *g_has_add_add; }
name const & get_has_div_div_name() { return *g_has_div_div; }
name const & get_has_emptyc_emptyc_name() { return *g_has_emptyc_emptyc; }
name const & get_has_insert_insert_name() { return *g_has_insert_insert; }
name const & get_has_neg_neg_name() { return *g_has_neg_neg; }
name const & get_has_one_name() { return *g_has_one; }
name const & get_has_one_one_name() { return *g_has_one_one; }
name const & get_has_sep_sep_name() { return *g_has_sep_sep; }
name const & get_has_sub_sub_name() { return *g_has_sub_sub; }
name const & get_has_well_founded_name() { return *g_has_well_founded; }
name const & get_has_well_founded_r_name() { return *g_has_well_founded_r; }
name const & get_has_well_founded_wf_name() { return *g_has_well_founded_wf; }
name const & get_has_zero_name() { return *g_has_zero; }
name const & get_has_zero_zero_name() { return *g_has_zero_zero; }
name const & get_has_coe_t_name() { return *g_has_coe_t; }
name const & get_heq_name() { return *g_heq; }
name const & get_heq_refl_name() { return *g_heq_refl; }
name const & get_heq_symm_name() { return *g_heq_symm; }
name const & get_heq_trans_name() { return *g_heq_trans; }
name const & get_heq_of_eq_name() { return *g_heq_of_eq; }
name const & get_huge_fuel_name() { return *g_huge_fuel; }
name const & get_id_name() { return *g_id; }
name const & get_id_rhs_name() { return *g_id_rhs; }
name const & get_id_delta_name() { return *g_id_delta; }
name const & get_iff_false_intro_name() { return *g_iff_false_intro; }
name const & get_iff_name() { return *g_iff; }
name const & get_iff_mp_name() { return *g_iff_mp; }
name const & get_iff_mpr_name() { return *g_iff_mpr; }
name const & get_iff_refl_name() { return *g_iff_refl; }
name const & get_iff_symm_name() { return *g_iff_symm; }
name const & get_iff_trans_name() { return *g_iff_trans; }
name const & get_iff_true_intro_name() { return *g_iff_true_intro; }
name const & get_inhabited_name() { return *g_inhabited; }
name const & get_inhabited_default_name() { return *g_inhabited_default; }
name const & get_int_name() { return *g_int; }
name const & get_int_nat_abs_name() { return *g_int_nat_abs; }
name const & get_int_lt_name() { return *g_int_lt; }
name const & get_int_dec_lt_name() { return *g_int_dec_lt; }
name const & get_int_of_nat_name() { return *g_int_of_nat; }
name const & get_inline_name() { return *g_inline; }
name const & get_io_name() { return *g_io; }
name const & get_ite_name() { return *g_ite; }
name const & get_lc_proof_name() { return *g_lc_proof; }
name const & get_lc_unreachable_name() { return *g_lc_unreachable; }
name const & get_list_name() { return *g_list; }
name const & get_list_nil_name() { return *g_list_nil; }
name const & get_list_cons_name() { return *g_list_cons; }
name const & get_match_failed_name() { return *g_match_failed; }
name const & get_monad_name() { return *g_monad; }
name const & get_monad_fail_name() { return *g_monad_fail; }
name const & get_lean_name_name() { return *g_lean_name; }
name const & get_lean_name_anonymous_name() { return *g_lean_name_anonymous; }
name const & get_lean_name_mk_numeral_name() { return *g_lean_name_mk_numeral; }
name const & get_lean_name_mk_string_name() { return *g_lean_name_mk_string; }
name const & get_lean_parser_leading_node_name() { return *g_lean_parser_leading_node; }
name const & get_lean_parser_trailing_node_name() { return *g_lean_parser_trailing_node; }
name const & get_nat_name() { return *g_nat; }
name const & get_nat_succ_name() { return *g_nat_succ; }
name const & get_nat_zero_name() { return *g_nat_zero; }
name const & get_nat_has_zero_name() { return *g_nat_has_zero; }
name const & get_nat_has_one_name() { return *g_nat_has_one; }
name const & get_nat_has_add_name() { return *g_nat_has_add; }
name const & get_nat_add_name() { return *g_nat_add; }
name const & get_nat_dec_eq_name() { return *g_nat_dec_eq; }
name const & get_nat_sub_name() { return *g_nat_sub; }
name const & get_ne_name() { return *g_ne; }
name const & get_neq_of_not_iff_name() { return *g_neq_of_not_iff; }
name const & get_not_name() { return *g_not; }
name const & get_not_of_iff_false_name() { return *g_not_of_iff_false; }
name const & get_not_of_eq_false_name() { return *g_not_of_eq_false; }
name const & get_of_eq_true_name() { return *g_of_eq_true; }
name const & get_of_iff_true_name() { return *g_of_iff_true; }
name const & get_opt_param_name() { return *g_opt_param; }
name const & get_or_name() { return *g_or; }
name const & get_out_param_name() { return *g_out_param; }
name const & get_punit_name() { return *g_punit; }
name const & get_punit_unit_name() { return *g_punit_unit; }
name const & get_prod_mk_name() { return *g_prod_mk; }
name const & get_pprod_name() { return *g_pprod; }
name const & get_pprod_mk_name() { return *g_pprod_mk; }
name const & get_pprod_fst_name() { return *g_pprod_fst; }
name const & get_pprod_snd_name() { return *g_pprod_snd; }
name const & get_propext_name() { return *g_propext; }
name const & get_quot_mk_name() { return *g_quot_mk; }
name const & get_quot_lift_name() { return *g_quot_lift; }
name const & get_rfl_name() { return *g_rfl; }
name const & get_scope_trace_name() { return *g_scope_trace; }
name const & get_set_of_name() { return *g_set_of; }
name const & get_psigma_name() { return *g_psigma; }
name const & get_psigma_mk_name() { return *g_psigma_mk; }
name const & get_psigma_fst_name() { return *g_psigma_fst; }
name const & get_psigma_snd_name() { return *g_psigma_snd; }
name const & get_singleton_name() { return *g_singleton; }
name const & get_sorry_ax_name() { return *g_sorry_ax; }
name const & get_string_name() { return *g_string; }
name const & get_string_data_name() { return *g_string_data; }
name const & get_string_empty_name() { return *g_string_empty; }
name const & get_string_str_name() { return *g_string_str; }
name const & get_subsingleton_name() { return *g_subsingleton; }
name const & get_subsingleton_elim_name() { return *g_subsingleton_elim; }
name const & get_subtype_name() { return *g_subtype; }
name const & get_psum_name() { return *g_psum; }
name const & get_psum_cases_on_name() { return *g_psum_cases_on; }
name const & get_psum_inl_name() { return *g_psum_inl; }
name const & get_psum_inr_name() { return *g_psum_inr; }
name const & get_task_name() { return *g_task; }
name const & get_thunk_name() { return *g_thunk; }
name const & get_thunk_mk_name() { return *g_thunk_mk; }
name const & get_thunk_get_name() { return *g_thunk_get; }
name const & get_true_name() { return *g_true; }
name const & get_true_intro_name() { return *g_true_intro; }
name const & get_typed_expr_name() { return *g_typed_expr; }
name const & get_unit_name() { return *g_unit; }
name const & get_unit_unit_name() { return *g_unit_unit; }
name const & get_uint8_name() { return *g_uint8; }
name const & get_uint16_name() { return *g_uint16; }
name const & get_uint32_name() { return *g_uint32; }
name const & get_uint64_name() { return *g_uint64; }
name const & get_usize_name() { return *g_usize; }
name const & get_well_founded_fix_name() { return *g_well_founded_fix; }
name const & get_well_founded_tactics_name() { return *g_well_founded_tactics; }
name const & get_well_founded_tactics_default_name() { return *g_well_founded_tactics_default; }
name const & get_well_founded_tactics_rel_tac_name() { return *g_well_founded_tactics_rel_tac; }
name const & get_well_founded_tactics_dec_tac_name() { return *g_well_founded_tactics_dec_tac; }
}
