charon_lib::transform

Module ctx

Source

Structs§

TransformCtx
Simpler context used for rustc-independent code transformation. This only depends on rustc for its error reporting machinery.

Traits§

LlbcPass
A pass that modifies llbc bodies.
TransformPass
A pass that transforms the crate data.
UllbcPass
A pass that modifies ullbc bodies.