Module hax_frontend_exporter::body::module

Re-exports

• pub use crate::prelude::*;

Modules

• implementations 🔒

Structs

• RDefId
  A DefId identifies a particular definition, by combining a crate index and a def index.
• RLocalDefId
  A LocalDefId is equivalent to a DefId with krate == LOCAL_CRATE. Since we encode this information in the type, we can ensure at compile time that no DefIds from upstream crates get thrown into the mix. There are quite a few cases where we know that only DefIds from the local crate are expected; a DefId from a different crate would signify a bug somewhere. This is when LocalDefId comes in handy.
• ROwnerId

Traits

• IsBody

Functions

• body_from_id
• get_thir
• make_fn_def