Method getFnNumArgs

smt/expr.cpp:2461–2465

}

unsigned expr::getFnNumArgs() const {
  auto app = isApp();
  assert(app);
  return Z3_get_app_num_args(ctx(), app);
}

expr expr::getFnArg(unsigned i) const {
  auto app = isApp();