Expand description
Proxies for Rustc types used within the PDG.
Each type has an identical set of fields to the corresponding Rustc type. Paralegal serializes the PDG into these types, which are read by downstream property checkers.
Structsยง
- Proxy for
mir::BasicBlock
- Proxy for
hir::BodyId
- Proxy for
hir::def_id::CrateNum
- Proxy for
def_id::DefId
- Proxy for
def_id::DefIndex
- Proxy for
hir::HirId
- Proxy for
hir::ItemLocalId
- Proxy for
def_id::LocalDefId
- Proxy for
mir::Location
- Proxy for
hir_id::OwnerHid