Function mz_timely_util::order::refine_antichain

pub fn refine_antichain<T: Timestamp, Inner: Timestamp + Refines<T>>(
    frontier: &Antichain<T>,
) -> Antichain<Inner>

Refine an Antichain<T> into a Antichain<Inner>, using a Refines implementation (in the case of tuple-style timestamps, this usually means appending a minimum time).