Definition at line 1003 of file z3++.h.
[inline]
Definition at line 1005 of file z3++.h.
{ assert(Z3_get_ast_kind(c, a) == Z3_FUNC_DECL_AST); return func_decl(c, reinterpret_cast<Z3_func_decl>(a)); }