Skip to main content

evaluate_rule

lemma::evaluation::expression

Function evaluate_rule 

Source 
pub fn evaluate_rule(
    exec_rule: &ExecutableRule,
    context: &mut EvaluationContext,
) -> LemmaResult<(OperationResult, Proof)>
Expand description

Evaluate a rule to produce its final result and proof