//! Infrastructure for analyzing MIR that supports the information flow analysis.

pub mod aliases;
pub mod engine;
pub mod placeinfo;
pub mod utils;