pub unsafe extern "C" fn Cudd_SetGroupcheck( dd: *mut DdManager, gc: Cudd_AggregationType, ) -> c_void