funcDeclsEqual method

bool funcDeclsEqual(
  1. FuncDecl a,
  2. FuncDecl b
)

Check if two FuncDecls are equal.

Implementation

bool funcDeclsEqual(FuncDecl a, FuncDecl b) {
  return _z3.is_eq_func_decl(_createFuncDecl(a), _createFuncDecl(b));
}