Type Definition z3_sys::Z3_fixedpoint_predecessor_eh

type Z3_fixedpoint_predecessor_eh = Option<unsafe extern "C" fn(state: *mut c_void)>;