src/library/constants.h

// 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 {
void initialize_constants();
void finalize_constants();
name const & get_absurd_name();
name const & get_and_name();
name const & get_and_left_name();
name const & get_and_right_name();
name const & get_and_intro_name();
name const & get_and_rec_name();
name const & get_and_cases_on_name();
name const & get_array_name();
name const & get_array_sz_name();
name const & get_array_data_name();
name const & get_auto_param_name();
name const & get_bit0_name();
name const & get_bit1_name();
name const & get_has_of_nat_of_nat_name();
name const & get_byte_array_name();
name const & get_byte_array_data_name();
name const & get_bool_name();
name const & get_bool_false_name();
name const & get_bool_true_name();
name const & get_bool_cases_on_name();
name const & get_cast_name();
name const & get_char_name();
name const & get_congr_arg_name();
name const & get_decidable_name();
name const & get_decidable_is_true_name();
name const & get_decidable_is_false_name();
name const & get_decidable_decide_name();
name const & get_empty_name();
name const & get_empty_rec_name();
name const & get_empty_cases_on_name();
name const & get_exists_name();
name const & get_eq_name();
name const & get_eq_cases_on_name();
name const & get_eq_rec_on_name();
name const & get_eq_rec_name();
name const & get_eq_ndrec_name();
name const & get_eq_refl_name();
name const & get_eq_subst_name();
name const & get_eq_symm_name();
name const & get_eq_trans_name();
name const & get_float_name();
name const & get_float_array_name();
name const & get_float_array_data_name();
name const & get_false_name();
name const & get_false_rec_name();
name const & get_false_cases_on_name();
name const & get_has_add_add_name();
name const & get_has_neg_neg_name();
name const & get_has_one_one_name();
name const & get_has_zero_zero_name();
name const & get_heq_name();
name const & get_heq_refl_name();
name const & get_iff_name();
name const & get_iff_refl_name();
name const & get_int_name();
name const & get_int_nat_abs_name();
name const & get_int_dec_lt_name();
name const & get_int_of_nat_name();
name const & get_inline_name();
name const & get_io_name();
name const & get_ite_name();
name const & get_lc_proof_name();
name const & get_lc_unreachable_name();
name const & get_list_name();
name const & get_mut_quot_name();
name const & get_nat_name();
name const & get_nat_succ_name();
name const & get_nat_zero_name();
name const & get_nat_has_zero_name();
name const & get_nat_has_one_name();
name const & get_nat_has_add_name();
name const & get_nat_add_name();
name const & get_nat_dec_eq_name();
name const & get_nat_sub_name();
name const & get_ne_name();
name const & get_not_name();
name const & get_opt_param_name();
name const & get_or_name();
name const & get_panic_name();
name const & get_punit_name();
name const & get_punit_unit_name();
name const & get_pprod_name();
name const & get_pprod_mk_name();
name const & get_pprod_fst_name();
name const & get_pprod_snd_name();
name const & get_propext_name();
name const & get_quot_mk_name();
name const & get_quot_lift_name();
name const & get_sorry_ax_name();
name const & get_string_name();
name const & get_string_data_name();
name const & get_subsingleton_elim_name();
name const & get_task_name();
name const & get_thunk_name();
name const & get_thunk_mk_name();
name const & get_thunk_get_name();
name const & get_true_name();
name const & get_true_intro_name();
name const & get_unit_name();
name const & get_unit_unit_name();
name const & get_uint8_name();
name const & get_uint16_name();
name const & get_uint32_name();
name const & get_uint64_name();
name const & get_usize_name();
}