1 2 3 4 5 6 7 8 9 10
//! Minimizer trait + driver. /// Arithmetic minimization strategies. pub mod arithmetic; /// Composition chain minimization. pub mod composition; /// Structural IR minimization. pub mod structural; /// Type-shrinking minimization. pub mod type_shrink;