pub unsafe extern "C" fn Cudd_PrintDebug( dd: *mut DdManager, f: *mut DdNode, n: c_int, pr: c_int, ) -> c_int