Struct ErasedInterpreter 

pub struct ErasedInterpreter {
    pub steps: u64,
    pub max_steps: u64,
    /* private fields */
}

A small-step interpreter for erased expressions.

Fields

steps: u64

max_steps: u64

Implementations

impl ErasedInterpreter

pub fn new(max_steps: u64) -> Self

Create a new interpreter.

pub fn eval(&mut self, expr: ErasedExprExt) -> Option<ErasedValue>

Evaluate an expression to a value.

pub fn is_exhausted(&self) -> bool

Return whether the step limit was exceeded.