pub unsafe extern "C" fn Cudd_FirstCube( dd: *mut DdManager, f: *mut DdNode, cube: *mut *mut c_int, value: *mut f64, ) -> *mut DdGen