paralegal_spdg

Module rustc_proxies

Source
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ยง