Module charon_lib::ast::krate

Macros

• mk_index_impls 🔒
  Delegate Index implementations to subfields.
• wrap_unwrap_enum 🔒
  Implement TryFrom and From to convert between an enum and its variants.

Structs

• TranslatedCrate
  The data of a translated crate.

Enums

• AnyTransId
  The id of a translated item.
• AnyTransItem
  A translated item.