Module types 

Re-exports

pub use adt::*;

pub use def_id::*;

pub use mir::*;

pub use new::*;

pub use predicates::*;

pub use traits::*;

pub use ty::*;

pub use vars::*;

Modules

adt 🔒

def_id 🔒

This module contains the type definition for DefId and the types DefId depends on.

mir 🔒

Copies of the relevant MIR types. MIR represents a rust (function) body as a CFG. It’s a semantically rich representation that contains no high-level control-flow operations like loops or patterns; instead the control flow is entirely described by gotos and switches on integer values.

new 🔒

This module contains type definitions that have no equivalent in Rustc.

predicates 🔒

traits 🔒

ty 🔒

Hax representations of Rust types and related type operations.

vars 🔒

Structs

Span

A compressed span.

Spanned

Enums

ErrorGuaranteed

Type Aliases

Ident

Reflects [rustc_span::symbol::Ident]