Module prelude 

Re-exports

pub use crate::sinto_as_usize;

pub use crate::sinto_reexport;

pub use crate::sinto_todo;

pub use crate::hax::*;

pub use crate::hax::constant_utils::*;

pub use crate::hax::index_vec::*;

pub use crate::hax::traits::*;

pub use crate::hax::types::*;

pub use self::rustc::*;

Modules

rustc

Structs

HashMap

A hash map implemented with quadratic probing and SIMD lookup.

PathBuf

An owned, mutable path (akin to String).

Rc

A single-threaded reference-counting pointer. ‘Rc’ stands for ‘Reference Counted’.

RDefId

A DefId identifies a particular definition, by combining a crate index and a def index.

Enums

RDefKind

What kind of definition something is; e.g., mod vs struct. enum DefPathData may need to be updated if a new variant is added here.