Skip to main content

predicate_syntactic_eq_resolved

aver::codegen::common

Function predicate_syntactic_eq_resolved 

Source 
pub fn predicate_syntactic_eq_resolved(
    a: &Spanned<ResolvedExpr>,
    b: &Spanned<ResolvedExpr>,
) -> bool
Expand description

ResolvedExpr mirror of predicate_syntactic_eq.