evaluate_expression

lemma::evaluator::expression

Function evaluate_expression 

Source 
pub fn evaluate_expression(
    expr: &Expression,
    context: &mut EvaluationContext<'_>,
) -> Result<OperationResult, LemmaError>
Expand description

Evaluate an expression to produce an operation result

This is the core of the evaluator - recursively processes expressions and records operations for every step.