Method decl

smt/expr.cpp:166–169

}

Z3_decl expr::decl() const {
  auto app = isApp();
  return app ? Z3_get_app_decl(ctx(), app) : nullptr;
}

Z3_app expr::isApp() const {
  C();