List of all items

Structs

• ast::SeqHashMap
• ast::SeqHashSet
• ast::bodies::Assert
• ast::bodies::Call
• ast::bodies::GExprBody
• ast::bodies::Local
• ast::bodies::LocalId
• ast::bodies::Locals
• ast::bodies::places::Place
• ast::bodies::structured::Block
• ast::bodies::structured::BlockId
• ast::bodies::structured::Statement
• ast::bodies::structured::StatementId
• ast::bodies::unstructured::BlockData
• ast::bodies::unstructured::BlockId
• ast::bodies::unstructured::BodyBuilder
• ast::bodies::unstructured::Statement
• ast::bodies::unstructured::StmtLoc
• ast::bodies::unstructured::Terminator
• ast::bodies::values::ConstantExpr
• ast::bodies::values::FloatValue
• ast::from_rustc::Deprecation
• ast::from_rustc::FromRustcError
• ast::from_rustc::Ident
• ast::from_rustc::RustcVersion
• ast::items::fun_decl::FunDecl
• ast::items::fun_decl::FunSig
• ast::items::global_decl::GlobalDecl
• ast::items::item_ids::BuiltinIndexOp
• ast::items::item_ids::DeclRef
• ast::items::item_ids::FnPtr
• ast::items::item_ids::FunDeclId
• ast::items::item_ids::FunDeclRef
• ast::items::item_ids::GlobalDeclId
• ast::items::item_ids::GlobalDeclRef
• ast::items::item_ids::MaybeBuiltinFunDeclRef
• ast::items::item_ids::TraitDeclId
• ast::items::item_ids::TraitDeclRef
• ast::items::item_ids::TraitImplId
• ast::items::item_ids::TraitImplRef
• ast::items::item_ids::TypeDeclId
• ast::items::item_ids::TypeDeclRef
• ast::items::layout::Layout
• ast::items::layout::ReprOptions
• ast::items::layout::TargetInfo
• ast::items::layout::VariantLayout
• ast::items::trait_decl::AssocConstId
• ast::items::trait_decl::AssocTypeId
• ast::items::trait_decl::TraitAssocConst
• ast::items::trait_decl::TraitAssocTy
• ast::items::trait_decl::TraitDecl
• ast::items::trait_decl::TraitItemName
• ast::items::trait_decl::TraitMethod
• ast::items::trait_decl::TraitMethodId
• ast::items::trait_impl::TraitAssocTyImpl
• ast::items::trait_impl::TraitImpl
• ast::items::type_decl::ClosureInfo
• ast::items::type_decl::Field
• ast::items::type_decl::FieldId
• ast::items::type_decl::TypeDecl
• ast::items::type_decl::Variant
• ast::items::type_decl::VariantId
• ast::krate::AssocItemNames
• ast::krate::TranslatedCrate
• ast::meta::ItemMeta
• ast::meta::attrs::AttrInfo
• ast::meta::attrs::RawAttribute
• ast::meta::names::Disambiguator
• ast::meta::names::Name
• ast::meta::spans::File
• ast::meta::spans::FileId
• ast::meta::spans::Loc
• ast::meta::spans::Span
• ast::meta::spans::SpanData
• ast::type_level::Binder
• ast::type_level::GenericArgs
• ast::type_level::GenericParams
• ast::type_level::OutlivesPred
• ast::type_level::RegionBinder
• ast::type_level::TraitTypeConstraint
• ast::type_level::substitute::CurrentItem
• ast::type_level::substitute::GenericsMismatch
• ast::type_level::substitute::ItemBinder
• ast::type_level::substitute::SubstVisitor
• ast::type_level::substitute::Substituted
• ast::type_level::trait_proofs::TraitRef
• ast::type_level::trait_proofs::TraitRefContents
• ast::type_level::types::DynPredicate
• ast::type_level::types::Ty
• ast::type_level::vars::BindingStack
• ast::type_level::vars::ConstGenericParam
• ast::type_level::vars::ConstGenericVarId
• ast::type_level::vars::DeBruijnId
• ast::type_level::vars::RegionId
• ast::type_level::vars::RegionParam
• ast::type_level::vars::TraitClauseId
• ast::type_level::vars::TraitParam
• ast::type_level::vars::TraitTypeConstraintId
• ast::type_level::vars::TypeParam
• ast::type_level::vars::TypeVarId
• ast::visitor::AstVisitableWrapper
• ast::visitor::BodyVisitableWrapper
• ast::visitor::DontLeakImplDetails
• ast::visitor::DynVisitor
• ast::visitor::VisitWithBinderDepth
• ast::visitor::VisitWithBinderStack
• ast::visitor::VisitWithItem
• ast::visitor::VisitWithItemRef
• ast::visitor::VisitWithSpan
• ast::visitor::wrappers::DontLeakImplDetails
• ast::visitor::wrappers::VisitWithBinderDepth
• ast::visitor::wrappers::VisitWithBinderStack
• ast::visitor::wrappers::VisitWithItem
• ast::visitor::wrappers::VisitWithItemRef
• ast::visitor::wrappers::VisitWithSpan
• errors::DepGraph
• errors::DepSource
• errors::Error
• errors::ErrorCtx
• errors::Level
• export::CharonVersion
• export::CrateData
• export::multi_target::CrateMerger
• export::multi_target::IdRefMapperVisitor
• export::multi_target::ItemDeduplicator
• export::multi_target::TargetGroup
• export::multi_target::TargetGroupId
• ids::generator::Generator
• ids::index_map::IndexMap
• ids::index_vec::IndexVec
• name_matcher::Pattern
• options::CliOpts
• options::TranslateOptions
• pretty::fmt_with_ctx::WithCtx
• pretty::formatter::FmtCtx
• transform::PrintCtxPass
• transform::add_missing_info::add_implied_outlives::ClosureOutlivesComputer
• transform::add_missing_info::add_implied_outlives::OutlivesGatherer
• transform::add_missing_info::add_implied_outlives::Transform
• transform::add_missing_info::add_missing_alias_clauses::ClauseExtractor
• transform::add_missing_info::add_missing_alias_clauses::Transform
• transform::add_missing_info::compute_short_names::Transform
• transform::add_missing_info::link_specs::Transform
• transform::add_missing_info::recover_body_comments::CommentsCtx
• transform::add_missing_info::recover_body_comments::Transform
• transform::add_missing_info::reorder_decls::Deps
• transform::add_missing_info::reorder_decls::DepsForItem
• transform::add_missing_info::reorder_decls::Transform
• transform::control_flow::duplicate_return::Transform
• transform::control_flow::merge_goto_chains::Transform
• transform::control_flow::prettify_cfg::Transform
• transform::control_flow::ullbc_to_llbc::BlockData
• transform::control_flow::ullbc_to_llbc::CfgInfo
• transform::control_flow::ullbc_to_llbc::DfsWithPath
• transform::control_flow::ullbc_to_llbc::ExitInfo
• transform::control_flow::ullbc_to_llbc::Irreducible
• transform::control_flow::ullbc_to_llbc::LoopExitRank
• transform::control_flow::ullbc_to_llbc::ReconstructCtx
• transform::control_flow::ullbc_to_llbc::SpecialJump
• transform::control_flow::ullbc_to_llbc::Transform
• transform::ctx::LlbcStatementTransformCtx
• transform::ctx::TransformCtx
• transform::ctx::UllbcStatementTransformCtx
• transform::finish_translation::filter_invisible_trait_impls::Transform
• transform::finish_translation::insert_assign_return_unit::Transform
• transform::finish_translation::insert_ptr_metadata::Transform
• transform::finish_translation::insert_storage_statements::LocalStatus
• transform::finish_translation::insert_storage_statements::StorageVisitor
• transform::finish_translation::insert_storage_statements::Transform
• transform::normalize::desugar_drops::Transform
• transform::normalize::expand_associated_types::ComputeItemModifications
• transform::normalize::expand_associated_types::ItemModifications
• transform::normalize::expand_associated_types::Transform
• transform::normalize::expand_associated_types::UpdateItemBody
• transform::normalize::expand_associated_types::trait_ref_path::AssocTypePath
• transform::normalize::expand_associated_types::trait_ref_path::TraitRefPath
• transform::normalize::expand_associated_types::type_constraint_set::TypeConstraintSet
• transform::normalize::expand_associated_types::type_constraint_set::TypeConstraintSetInner
• transform::normalize::filter_unreachable_blocks::Transform
• transform::normalize::normalize_trait_refs::NormalizeTraitRefs
• transform::normalize::normalize_trait_refs::Transform
• transform::normalize::partial_monomorphization::MutabilityShapeBuilder
• transform::normalize::partial_monomorphization::PartialMonomorphizer
• transform::normalize::partial_monomorphization::Transform
• transform::normalize::skip_trait_refs_when_known::NormalizeFnPtr
• transform::normalize::skip_trait_refs_when_known::Transform
• transform::normalize::transform_dyn_trait_calls::Transform
• transform::resugar::move_asserts_to_statements::Transform
• transform::resugar::reconstruct_asserts::Transform
• transform::resugar::reconstruct_box_derefs::LocalStatus
• transform::resugar::reconstruct_box_derefs::LocalStatusCollector
• transform::resugar::reconstruct_box_derefs::Transform
• transform::resugar::reconstruct_fallible_operations::PendingShiftCheck
• transform::resugar::reconstruct_fallible_operations::Transform
• transform::resugar::reconstruct_intrinsics::Transform
• transform::resugar::reconstruct_matches::Transform
• transform::resugar::reconstruct_vec_boxes::AssumeInitTail
• transform::resugar::reconstruct_vec_boxes::PayloadAssign
• transform::resugar::reconstruct_vec_boxes::Rewrite
• transform::resugar::reconstruct_vec_boxes::Transform
• transform::simplify_output::anon_const_to_call::Transform
• transform::simplify_output::duplicate_defaulted_methods::Transform
• transform::simplify_output::filter_trivial_drops::Transform
• transform::simplify_output::hide_allocator_param::RemoveLastParamVisitor
• transform::simplify_output::hide_allocator_param::Transform
• transform::simplify_output::index_intermediate_assigns::Transform
• transform::simplify_output::index_to_function_calls::IndexVisitor
• transform::simplify_output::index_to_function_calls::Transform
• transform::simplify_output::inline_selected_functions::Transform
• transform::simplify_output::lift_associated_item_clauses::Transform
• transform::simplify_output::ops_to_function_calls::Transform
• transform::simplify_output::remove_adt_clauses::RemoveAdtClausesVisitor
• transform::simplify_output::remove_adt_clauses::Transform
• transform::simplify_output::remove_nops::Transform
• transform::simplify_output::remove_unit_locals::Transform
• transform::simplify_output::remove_unused_clauses::BuildGraphVisitor
• transform::simplify_output::remove_unused_clauses::RemoveClausesVisitor
• transform::simplify_output::remove_unused_clauses::Transform
• transform::simplify_output::remove_unused_locals::LocalsRenumberVisitor
• transform::simplify_output::remove_unused_locals::LocalsUsageVisitor
• transform::simplify_output::remove_unused_locals::Transform
• transform::simplify_output::simplify_constants::Transform
• transform::simplify_output::unbind_item_vars::Check
• transform::simplify_output::unbind_item_vars::UnbindVarVisitor
• transform::simplify_output::update_block_indices::Transform
• transform::typecheck_and_unify::TypeCheckVisitor
• transform::typecheck_and_unify::TypeError
• utils::hash_by_addr::HashByAddr
• utils::hash_cons::HashConsDedupSerializer
• utils::hash_cons::HashConsId
• utils::hash_cons::HashConsed
• utils::hash_cons::intern_table::InternMapper
• utils::hash_cons::serialize::DeserializeTableMapper
• utils::hash_cons::serialize::HashConsDedupSerializer
• utils::hash_cons::serialize::SerializeTableMapper
• utils::serialize_map_to_array::KeyValue
• utils::serialize_map_to_array::SeqHashMapToArray
• utils::type_map::TypeMap

Enums

• ast::ControlFlow
• ast::bodies::AbortKind
• ast::bodies::Body
• ast::bodies::BorrowckStatement
• ast::bodies::BuiltinAssertKind
• ast::bodies::DropKind
• ast::bodies::FnOperand
• ast::bodies::expressions::AggregateKind
• ast::bodies::expressions::BinOp
• ast::bodies::expressions::BorrowKind
• ast::bodies::expressions::CastKind
• ast::bodies::expressions::NullOp
• ast::bodies::expressions::Operand
• ast::bodies::expressions::OverflowMode
• ast::bodies::expressions::Rvalue
• ast::bodies::expressions::UnOp
• ast::bodies::expressions::UnsizingMetadata
• ast::bodies::expressions::WithRetag
• ast::bodies::places::PlaceKind
• ast::bodies::places::ProjectionElem
• ast::bodies::structured::StatementKind
• ast::bodies::structured::Switch
• ast::bodies::unstructured::StatementKind
• ast::bodies::unstructured::SwitchTargets
• ast::bodies::unstructured::TerminatorKind
• ast::bodies::values::Byte
• ast::bodies::values::ConstantExprKind
• ast::bodies::values::Literal
• ast::bodies::values::Provenance
• ast::bodies::values::ScalarValue
• ast::from_rustc::AttributeKind
• ast::from_rustc::DeprecatedSince
• ast::from_rustc::InlineAttr
• ast::from_rustc::LangItem
• ast::from_rustc::OptimizeAttr
• ast::items::ItemByVal
• ast::items::ItemRef
• ast::items::ItemRefMut
• ast::items::fun_decl::Abi
• ast::items::fun_decl::FunSource
• ast::items::global_decl::GlobalKind
• ast::items::global_decl::GlobalSource
• ast::items::item_ids::AssocItemId
• ast::items::item_ids::BuiltinFunId
• ast::items::item_ids::FnPtrKind
• ast::items::item_ids::FunId
• ast::items::item_ids::ItemId
• ast::items::item_ids::MaybeAssocItemId
• ast::items::item_ids::TypeId
• ast::items::layout::AlignmentModifier
• ast::items::layout::DiscriminantReadError
• ast::items::layout::Discriminator
• ast::items::layout::ReprAlgorithm
• ast::items::trait_decl::TraitDeclSource
• ast::items::trait_impl::TraitImplSource
• ast::items::type_decl::ClosureKind
• ast::items::type_decl::PtrMetadata
• ast::items::type_decl::TypeDeclKind
• ast::items::type_decl::TypeSource
• ast::items::type_decl::VTableField
• ast::krate::DeclarationGroup
• ast::krate::GDeclarationGroup
• ast::meta::ItemOpacity
• ast::meta::attrs::Attribute
• ast::meta::attrs::InlineAttr
• ast::meta::names::ImplElem
• ast::meta::names::PathElem
• ast::meta::spans::FileName
• ast::type_level::BinderKind
• ast::type_level::regions::Region
• ast::type_level::trait_proofs::BuiltinImplData
• ast::type_level::trait_proofs::TraitRefKind
• ast::type_level::types::BuiltinTy
• ast::type_level::types::FloatTy
• ast::type_level::types::IntTy
• ast::type_level::types::IntegerTy
• ast::type_level::types::LiteralTy
• ast::type_level::types::RefKind
• ast::type_level::types::TyKind
• ast::type_level::types::TypePattern
• ast::type_level::types::UIntTy
• ast::type_level::vars::DeBruijnVar
• ast::type_level::vars::LifetimeMutability
• ast::type_level::vars::PredicateOrigin
• ast::type_level::vars::Variance
• errors::DepNode
• export::multi_target::MergeDecision
• name_matcher::PatElem
• name_matcher::PatTy
• options::ConstHandling
• options::MirLevel
• options::MonomorphizeMut
• options::Preset
• options::SerializationFormat
• options::SerializationFormatArg
• options::StartFrom
• transform::CowBox
• transform::Pass
• transform::add_missing_info::compute_short_names::FoundName
• transform::control_flow::merge_goto_chains::Antecedents
• transform::control_flow::ullbc_to_llbc::ReconstructMode
• transform::control_flow::ullbc_to_llbc::SpecialJumpKind
• transform::control_flow::ullbc_to_llbc::StackAction
• transform::normalize::expand_associated_types::trait_ref_path::BaseClause
• transform::simplify_output::remove_unused_clauses::ClauseNode
• transform::typecheck_and_unify::Check
• transform::utils::GenericsSource
• utils::CycleDetector
• utils::hash_cons::serialize::SerRepr

Traits

• ast::Idx
• ast::Visitor
• ast::krate::HasIdxMapOf
• ast::type_level::HasIdxVecOf
• ast::type_level::substitute::TyVisitable
• ast::type_level::substitute::VarsVisitor
• ast::visitor::AstVisitable
• ast::visitor::BodyVisitable
• ast::visitor::VisitAst
• ast::visitor::VisitAstMut
• ast::visitor::VisitBody
• ast::visitor::VisitBodyMut
• ast::visitor::VisitorWithBinderDepth
• ast::visitor::VisitorWithBinderStack
• ast::visitor::VisitorWithItem
• ast::visitor::VisitorWithItemMut
• ast::visitor::VisitorWithItemRef
• ast::visitor::VisitorWithItemRefMut
• ast::visitor::VisitorWithSpan
• ast::visitor::ZipAst
• ast::visitor::wrappers::VisitorWithBinderDepth
• ast::visitor::wrappers::VisitorWithBinderStack
• ast::visitor::wrappers::VisitorWithItem
• ast::visitor::wrappers::VisitorWithItemMut
• ast::visitor::wrappers::VisitorWithItemRef
• ast::visitor::wrappers::VisitorWithItemRefMut
• ast::visitor::wrappers::VisitorWithSpan
• ids::Idx
• ids::index_vec::Idx
• ids::index_vec::Unimplemented
• name_matcher::parser::ParserExt
• pretty::fmt_with_ctx::FmtWithCtx
• pretty::formatter::AstFormatter
• pretty::formatter::IntoFormatter
• transform::add_missing_info::recover_body_comments::IsStatement
• transform::ctx::BodyTransformCtx
• transform::ctx::LlbcPass
• transform::ctx::TransformPass
• transform::ctx::UllbcPass
• utils::hash_cons::HashConsSerializerState
• utils::hash_cons::HashConsable
• utils::hash_cons::serialize::HashConsSerializerState
• utils::type_map::Mappable
• utils::type_map::Mapper

Macros

• ansi_color
• ast::items::item_ids::convert_item_ref
• ast::items::item_ids::wrap_unwrap_enum
• ast::krate::mk_index_impls
• ast::type_level::mk_index_impls
• ast::type_level::types::static_type
• code_location
• error
• error_assert
• errors::error_assert
• errors::raise_error
• errors::register_error
• generate_index_type
• impl_from_enum
• info
• pretty::fmt_with_ctx::impl_debug_via_display
• pretty::fmt_with_ctx::impl_display_via_ctx
• raise_error
• register_error
• trace
• warn

Derive Macros

• ast::Visitor

Functions

• ast::bodies::unstructured::mk_block
• ast::bodies::values::scalar_value_ser_de::deserialize
• ast::bodies::values::scalar_value_ser_de::deserialize_state
• ast::bodies::values::scalar_value_ser_de::serialize
• ast::bodies::values::scalar_value_ser_de::serialize_state
• ast::meta::spans::combine_span
• ast::meta::spans::combine_span_iter
• ast::meta::spans::line_to_start_byte
• deserialize_llbc
• deserialize_llbc_with_format
• errors::display_unspanned_error
• export::multi_target::cleanup_post_merge
• export::multi_target::merge
• export::multi_target::normalize_item
• export::multi_target::normalize_name_for_grouping
• export::multi_target::remove_unmentioned_methods
• export::multi_target::strip_unstable_attributes
• logger::initialize_logger
• name_matcher::generic_args_match_params
• name_matcher::parser::parse_impl_elem
• name_matcher::parser::parse_pat_elem
• name_matcher::parser::parse_pat_ty
• name_matcher::parser::parse_pattern
• name_matcher::parser::parse_pattern_complete
• name_matcher::parser::parse_simple_elem
• pretty::fmt_with_ctx::fmt_llbc_unwind_block
• pretty::fmt_with_ctx::fmt_where_clauses
• pretty::fmt_with_ctx::trait_impl_short_name
• pretty::formatter::compute_local_names
• transform::add_missing_info::compute_short_names::register_short_name_candidate
• transform::add_missing_info::compute_short_names::trait_impl_short_name
• transform::add_missing_info::reorder_decls::compute_declarations_graph
• transform::add_missing_info::reorder_decls::compute_reordered_decls
• transform::add_missing_info::sccs::ordered_scc
• transform::control_flow::duplicate_return::is_return_block
• transform::control_flow::ullbc_to_llbc::iter_tail_statements
• transform::control_flow::ullbc_to_llbc::remove_useless_jump_blocks
• transform::control_flow::ullbc_to_llbc::translate_body
• transform::normalize::desugar_drops::is_noop_destruct
• transform::normalize::skip_trait_refs_when_known::normalize_default_method_call_on_known_impl
• transform::normalize::skip_trait_refs_when_known::normalize_method_call
• transform::normalize::skip_trait_refs_when_known::normalize_method_call_on_known_impl
• transform::normalize::transform_dyn_trait_calls::transform_dyn_trait_call
• transform::resugar::reconstruct_box_derefs::box_pointee_pointer_assignment
• transform::resugar::reconstruct_box_derefs::collect_local_status
• transform::resugar::reconstruct_box_derefs::rewrite_place
• transform::resugar::reconstruct_fallible_operations::compute_uses
• transform::resugar::reconstruct_fallible_operations::equiv_op
• transform::resugar::reconstruct_fallible_operations::make_binop_overflow_panic
• transform::resugar::reconstruct_fallible_operations::make_unop_overflow_panic
• transform::resugar::reconstruct_fallible_operations::remove_dynamic_checks
• transform::resugar::reconstruct_fallible_operations::resolve_pending_shift_check
• transform::resugar::reconstruct_fallible_operations::uses_local
• transform::resugar::reconstruct_vec_boxes::assume_init_fn_ptr
• transform::resugar::reconstruct_vec_boxes::box_generics
• transform::resugar::reconstruct_vec_boxes::box_inner
• transform::resugar::reconstruct_vec_boxes::branched_before
• transform::resugar::reconstruct_vec_boxes::find_array_assign
• transform::resugar::reconstruct_vec_boxes::find_assume_init_tail
• transform::resugar::reconstruct_vec_boxes::find_move_in_block
• transform::resugar::reconstruct_vec_boxes::find_next_drop
• transform::resugar::reconstruct_vec_boxes::find_next_move_of
• transform::resugar::reconstruct_vec_boxes::is_new_uninit_call
• transform::resugar::reconstruct_vec_boxes::unique_target
• transform::run_transformation_passes
• transform::simplify_output::filter_trivial_drops::is_noop_destruct
• transform::simplify_output::filter_trivial_drops::is_trivial_drop
• transform::simplify_output::index_intermediate_assigns::contains_index_proj
• transform::simplify_output::ops_to_function_calls::transform_st
• transform::simplify_output::remove_adt_clauses::build_removed_clause_placeholder
• transform::simplify_output::remove_adt_clauses::has_assoc_types
• transform::simplify_output::remove_adt_clauses::untouchable_adts
• transform::simplify_output::remove_unused_locals::remove_unused_locals
• transform::simplify_output::simplify_constants::transform_constant_expr
• transform::simplify_output::simplify_constants::transform_operand
• utils::arg_value
• utils::arg_values
• utils::ensure_sufficient_stack
• utils::hash_cons::intern_table::fresh_id
• utils::hash_cons::intern_table::id
• utils::hash_cons::intern_table::intern
• utils::hash_cons::intern_table::mutate_in_place
• utils::pretty_display_list
• utils::repeat_except_first

Type Aliases

• ast::bodies::structured::ExprBody
• ast::bodies::unstructured::BodyContents
• ast::bodies::unstructured::ExprBody
• ast::items::layout::ByteCount
• ast::krate::TargetTriple
• ast::type_level::BoxedArgs
• ast::type_level::PolyTraitDeclRef
• ast::type_level::RegionOutlives
• ast::type_level::TypeOutlives
• ast::type_level::vars::ClauseDbVar
• ast::type_level::vars::ConstGenericDbVar
• ast::type_level::vars::RegionDbVar
• ast::type_level::vars::TypeDbVar
• name_matcher::parser::ParseResult
• transform::add_missing_info::add_implied_outlives::BoundRegionOutlives
• transform::add_missing_info::add_implied_outlives::BoundTypeOutlives
• transform::control_flow::ullbc_to_llbc::BigRational
• transform::control_flow::ullbc_to_llbc::BigUint
• transform::control_flow::ullbc_to_llbc::Cfg
• transform::control_flow::ullbc_to_llbc::Depth
• transform::normalize::partial_monomorphization::MutabilityShape
• transform::resugar::reconstruct_fallible_operations::LocalUses
• utils::hash_cons::intern_table::SeqHashMap

Statics

• ast::bodies::unstructured::START_BLOCK_ID
• ast::meta::names::BOX_ASSUME_INIT_INTO_VEC_UNSAFE
• ast::meta::names::BOX_WRITE
• ast::meta::names::BOX_WRITE_PATTERN
• ast::meta::names::EXPLICIT_PANIC_NAME
• utils::TAB_INCR
• utils::hash_cons::intern_table::INTERNED

Constants

• VERSION
• errors::BACKTRACE_ON_ERR
• options::CHARON_ARGS
• pretty::fmt_with_ctx::LLBC_UNWIND_PREFIX
• transform::normalize::normalize_trait_refs::MAX_NORMALIZATION_STEPS
• transform::resugar::reconstruct_matches::DISCRIMINANT_INTRINSIC
• utils::RED_ZONE
• utils::STACK_PER_RECURSION