cudd_sys
pub unsafe extern "C" fn Cudd_CProjection( dd: *mut DdManager, R: *mut DdNode, Y: *mut DdNode) -> *mut DdNode