Type Definition z3_sys::Z3_fixedpoint_reduce_app_callback_fptr

pub type Z3_fixedpoint_reduce_app_callback_fptr = Option<unsafe extern "C" fn(arg1: *mut c_void, arg2: Z3_func_decl, arg3: c_uint, arg4: *const Z3_ast, arg5: *mut Z3_ast)>;