Struct ErasedBetaReducer 

pub struct ErasedBetaReducer {
    pub steps: u64,
    pub max_steps: u64,
}

Performs beta reduction on erased expressions.

Fields

steps: u64

max_steps: u64

Implementations

impl ErasedBetaReducer

pub fn new(max_steps: u64) -> Self

Create a reducer with a step limit.

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

Perform one step of beta reduction.

pub fn is_exhausted(&self) -> bool

Return whether the step limit has been reached.