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::traits::*;

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

pub use self::rustc::*;

Modules

rustc

Structs

PathBuf

An owned, mutable path (akin to String).

Rc

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

IndexVec

An owned contiguous collection of Ts, indexed by I rather than by usize.

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.

Type Aliases

HashMap

Type alias for a hash map that uses the Fx hashing algorithm.