pub unsafe extern "C" fn Cudd_bddComputeCube( dd: *mut DdManager, vars: *mut *mut DdNode, phase: *mut c_int, n: c_int, ) -> *mut DdNode