pub fn refine_antichain<T: Timestamp, Inner: Timestamp + Refines<T>>(
frontier: &Antichain<T>,
) -> Antichain<Inner>Expand description
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).