Struct ErasurePass 

pub struct ErasurePass {
    pub name: String,
    pub total_transforms: u64,
}

A pass pipeline combining multiple transformation passes.

Fields

name: String

total_transforms: u64

Implementations

impl ErasurePass

pub fn new(name: impl Into<String>) -> Self

Create a new pipeline.

pub fn run(&mut self, expr: ErasedExprExt) -> ErasedExprExt

Run the full erasure pipeline on an expression.

pub fn run_module(&mut self, module: ErasedModule) -> ErasedModule

Run the pipeline on a module.