Module charon_lib::transform::ctx

Structs

• TransformCtx
  Simpler context used for rustc-independent code transformation. This only depends on rustc for its error reporting machinery.
• TransformOptions
  The options that control transformation.

Traits

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