Module hax_frontend_exporter::types

Re-exports

• pub use copied::*;
• pub use def_id::*;
• pub use index::*;
• pub use mir::*;
• pub use mir_traits::*;
• pub use new::*;
• pub use replaced::*;
• pub use todo::*;

Modules

• copied 🔒
• def_id 🔒
  This module contains the type definition for DefId and the types DefId depends on.
• index 🔒
• mir 🔒
• mir_traits 🔒
• new 🔒
  This module contains type definitions that have no equivalent in Rustc.
• replaced 🔒
• serialize_int 🔒
  This module provides serde manual serializes/deserializers as strings for u128 and i128: those types are not well supported in serde (see https://github.com/serde-rs/json/issues/625).
• todo 🔒