Function libslide::partial_evaluator::compare::cmp_eq

pub fn cmp_eq(
    a: &RcExpr, 
    b: &RcExpr, 
    evaluator_rules: &[Rule], 
    context: &ProgramContext
) -> EqRelation

Compares two expressions for equivalence, returning an EqRelation.