List of all items

Structs

• ast::expressions::BuiltinIndexOp
• ast::expressions::ConstantExpr
• ast::expressions::FnPtr
• ast::expressions::Place
• ast::gast::Assert
• ast::gast::Call
• ast::gast::FunDecl
• ast::gast::GExprBody
• ast::gast::GlobalDecl
• ast::gast::GlobalDeclRef
• ast::gast::Locals
• ast::gast::Opaque
• ast::gast::TraitDecl
• ast::gast::TraitImpl
• ast::gast::TraitItemName
• ast::gast::Var
• ast::krate::BodyId
• ast::krate::FunDeclId
• ast::krate::GlobalDeclId
• ast::krate::TraitDeclId
• ast::krate::TraitImplId
• ast::krate::TranslatedCrate
• ast::krate::TypeDeclId
• ast::llbc_ast::Block
• ast::llbc_ast::Statement
• ast::meta::AttrInfo
• ast::meta::File
• ast::meta::FileId
• ast::meta::ItemMeta
• ast::meta::Loc
• ast::meta::RawAttribute
• ast::meta::RawSpan
• ast::meta::Span
• ast::names::Disambiguator
• ast::names::Name
• ast::types::ClosureInfo
• ast::types::ConstGenericVar
• ast::types::ConstGenericVarId
• ast::types::DeBruijnId
• ast::types::ExistentialPredicate
• ast::types::Field
• ast::types::FieldId
• ast::types::FunSig
• ast::types::GenericArgs
• ast::types::GenericParams
• ast::types::OutlivesPred
• ast::types::ParamsInfo
• ast::types::RegionBinder
• ast::types::RegionId
• ast::types::RegionVar
• ast::types::TraitClause
• ast::types::TraitClauseId
• ast::types::TraitDeclRef
• ast::types::TraitRef
• ast::types::TraitTypeConstraint
• ast::types::Ty
• ast::types::TypeDecl
• ast::types::TypeVar
• ast::types::TypeVarId
• ast::types::Variant
• ast::types::VariantId
• ast::types_utils::SubstVisitor
• ast::types_utils::VisitInsideTy
• ast::ullbc_ast::BlockData
• ast::ullbc_ast::BlockId
• ast::ullbc_ast::Statement
• ast::ullbc_ast::Terminator
• ast::values::FloatValue
• ast::values::VarId
• common::hash_by_addr::HashByAddr
• common::hash_consing::HashConsed
• common::type_map::TypeMap
• errors::DepGraph
• errors::DepSource
• errors::Error
• errors::ErrorCtx
• export::CrateData
• ids::generator::Generator
• ids::generator::MapGenerator
• ids::vector::ReservedSlot
• ids::vector::Vector
• name_matcher::Pattern
• options::CliOpts
• pretty::formatter::FmtCtx
• transform::check_generics::Check
• transform::check_generics::CheckGenericsVisitor
• transform::ctx::TransformCtx
• transform::ctx::TransformOptions
• transform::filter_invisible_trait_impls::Transform
• transform::graphs::SCCs
• transform::hide_marker_traits::Transform
• transform::hide_marker_traits::Visitor
• transform::index_intermediate_assigns::Transform
• transform::index_to_function_calls::Transform
• transform::index_to_function_calls::Visitor
• transform::inline_local_panic_functions::Transform
• transform::insert_assign_return_unit::Transform
• transform::lift_associated_item_clauses::Transform
• transform::merge_goto_chains::Transform
• transform::ops_to_function_calls::Transform
• transform::prettify_cfg::Transform
• transform::reconstruct_asserts::Transform
• transform::reconstruct_boxes::Transform
• transform::recover_body_comments::Transform
• transform::remove_arithmetic_overflow_checks::Transform
• transform::remove_drop_never::Transform
• transform::remove_dynamic_checks::Transform
• transform::remove_nops::Transform
• transform::remove_read_discriminant::Transform
• transform::remove_unused_locals::Transform
• transform::reorder_decls::DeclInfo
• transform::reorder_decls::Deps
• transform::simplify_constants::Transform
• transform::ullbc_to_llbc::BlockInfo
• transform::ullbc_to_llbc::BlocksInfo
• transform::ullbc_to_llbc::CfgInfo
• transform::ullbc_to_llbc::ExitInfo
• transform::ullbc_to_llbc::FilteredLoopParents
• transform::ullbc_to_llbc::LoopExitCandidateInfo
• transform::ullbc_to_llbc::OrdBlockId
• transform::update_block_indices::Transform
• transform::update_closure_signatures::InsertRegions
• transform::update_closure_signatures::Transform

Enums

• ast::builtins::BuiltinFun
• ast::expressions::AggregateKind
• ast::expressions::BinOp
• ast::expressions::BorrowKind
• ast::expressions::BuiltinFunId
• ast::expressions::CastKind
• ast::expressions::FieldProjKind
• ast::expressions::FunId
• ast::expressions::FunIdOrTraitMethodRef
• ast::expressions::NullOp
• ast::expressions::Operand
• ast::expressions::PlaceKind
• ast::expressions::ProjectionElem
• ast::expressions::RawConstantExpr
• ast::expressions::Rvalue
• ast::expressions::UnOp
• ast::gast::AbortKind
• ast::gast::Body
• ast::gast::FnOperand
• ast::gast::ItemKind
• ast::krate::AnyTransId
• ast::krate::AnyTransItem
• ast::krate::AnyTransItemMut
• ast::llbc_ast::RawStatement
• ast::llbc_ast::Switch
• ast::meta::Attribute
• ast::meta::FileName
• ast::meta::InlineAttr
• ast::meta::ItemOpacity
• ast::names::ImplElem
• ast::names::PathElem
• ast::types::BuiltinTy
• ast::types::ClosureKind
• ast::types::ConstGeneric
• ast::types::FloatTy
• ast::types::IntegerTy
• ast::types::LiteralTy
• ast::types::PredicateOrigin
• ast::types::RefKind
• ast::types::Region
• ast::types::TraitRefKind
• ast::types::TyKind
• ast::types::TypeDeclKind
• ast::types::TypeId
• ast::ullbc_ast::RawStatement
• ast::ullbc_ast::RawTerminator
• ast::ullbc_ast::SwitchTargets
• ast::values::Literal
• ast::values::ScalarValue
• ast::values_utils::ScalarError
• common::visitor_event::VisitEvent
• errors::DepNode
• name_matcher::PatElem
• name_matcher::PatTy
• transform::Pass
• transform::reorder_decls::DeclarationGroup
• transform::reorder_decls::GDeclarationGroup
• transform::ullbc_to_llbc::GotoKind

Traits

• common::type_map::Mapper
• name_matcher::parser::ParserExtExt
• pretty::fmt_with_ctx::FmtWithCtx
• pretty::formatter::DeclFormatter
• pretty::formatter::Formatter
• pretty::formatter::IntoFormatter
• pretty::formatter::PushBoundRegions
• pretty::formatter::SetGenerics
• pretty::formatter::SetLocals
• transform::ctx::LlbcPass
• transform::ctx::TransformPass
• transform::ctx::UllbcPass

Macros

• ast::krate::mk_index_impls
• ast::krate::wrap_unwrap_enum
• code_location
• error
• error_assert
• error_or_panic
• errors::error_assert
• errors::error_or_panic
• errors::register_error_or_panic
• generate_index_type
• info
• register_error_or_panic
• trace
• warn

Functions

• ast::builtins::type_to_used_params
• ast::llbc_ast_utils::combine_switch_targets_span
• ast::meta::dummy_span_data
• ast::meta_utils::combine_span
• ast::meta_utils::combine_span_iter
• ast::ullbc_ast_utils::body_transform_operands
• common::ensure_sufficient_stack
• common::pretty_display_list
• export::ensure_version
• logger::initialize_logger
• 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_body_blocks_with_ctx
• pretty::fmt_with_ctx::fmt_call
• transform::graphs::insert_scc_with_deps
• transform::graphs::reorder_sccs
• transform::index_intermediate_assigns::contains_index_proj
• transform::insert_assign_return_unit::transform_st
• transform::ops_to_function_calls::transform_st
• transform::reconstruct_asserts::transform_st
• transform::remove_dynamic_checks::remove_dynamic_checks
• transform::reorder_decls::compute_declarations_graph
• transform::reorder_decls::compute_reordered_decls
• transform::reorder_decls::group_declarations_from_scc
• transform::simplify_constants::transform_constant_expr
• transform::simplify_constants::transform_operand
• transform::ullbc_to_llbc::block_is_error
• transform::ullbc_to_llbc::block_is_switch
• transform::ullbc_to_llbc::build_cfg_info
• transform::ullbc_to_llbc::build_cfg_partial_info_edges
• transform::ullbc_to_llbc::compute_loop_exit_candidates
• transform::ullbc_to_llbc::compute_loop_exits
• transform::ullbc_to_llbc::compute_loop_switch_exits
• transform::ullbc_to_llbc::compute_switch_exits
• transform::ullbc_to_llbc::compute_switch_exits_explore
• transform::ullbc_to_llbc::filter_loop_parents
• transform::ullbc_to_llbc::get_goto_kind
• transform::ullbc_to_llbc::is_terminal
• transform::ullbc_to_llbc::is_terminal_explore
• transform::ullbc_to_llbc::is_terminal_explore_block
• transform::ullbc_to_llbc::list_reachable
• transform::ullbc_to_llbc::loop_entry_is_reachable_from_inner
• transform::ullbc_to_llbc::make_ord_block_id
• transform::ullbc_to_llbc::opt_block_unwrap_or_nop
• transform::ullbc_to_llbc::register_children_as_loop_exit_candidates
• transform::ullbc_to_llbc::translate_block
• transform::ullbc_to_llbc::translate_body
• transform::ullbc_to_llbc::translate_body_aux
• transform::ullbc_to_llbc::translate_child_block
• transform::ullbc_to_llbc::translate_functions
• transform::ullbc_to_llbc::translate_statement
• transform::ullbc_to_llbc::translate_terminator
• transform::update_closure_signatures::transform_function

Type Aliases

• ast::llbc_ast::ExprBody
• ast::types::FieldName
• ast::types::PolyTraitDeclRef
• ast::types::RegionOutlives
• ast::types::TypeOutlives
• ast::ullbc_ast::BodyContents
• ast::ullbc_ast::ExprBody
• ast::values_utils::ScalarResult
• name_matcher::parser::ParseResult
• transform::reorder_decls::DeclarationsGroups
• transform::ullbc_to_llbc::Cfg

Trait Aliases

• common::type_map::Mappable
• pretty::formatter::AstFormatter

Statics

• ast::builtins::EXPLICIT_PANIC_NAME
• ast::ullbc_ast::START_BLOCK_ID
• common::TAB_INCR
• transform::LLBC_PASSES
• transform::ULLBC_PASSES

Constants

• VERSION
• common::RED_ZONE
• common::STACK_PER_RECURSION
• options::CHARON_ARGS