Type Definition z3_sys::Z3_fixedpoint_unfold_eh

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