Module slicer 

Re-exports

pub use types::RelevantItem;

pub use types::ProofGoal;

Modules

call_visit 🔒

Call-terminator visiting logic.

types

Data types for the path-refinement layer.

visitor 🔒

Backward path visitor — walks a finite path backward from a checkpoint and keeps only MIR items that can affect the required property.

Structs

BackwardSlicer

Entry point for backward path visiting.