pub unsafe extern "C" fn Z3_mk_app( c: Z3_context, d: Z3_func_decl, num_args: c_uint, args: *const Z3_ast) -> Z3_ast
Create a constant or function application.
Z3_mk_fresh_func_decl
Z3_mk_func_decl
Z3_mk_rec_func_decl