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