Type Definition timely::progress::broadcast::ProgressMsg

type ProgressMsg<T> = (usize, usize, ProgressVec<T>, ProgressVec<T>);

A progress update message consisting of source worker id, sequence number and lists of message and internal updates