getArity method

int getArity()

Implementation

int getArity() {
  return _c._z3.func_interp_get_arity(_f);
}