Skip to content

Use Antichain for MutableAntichain::frontier.#485

Open
frankmcsherry wants to merge 1 commit intoTimelyDataflow:masterfrom
frankmcsherry:mutable_antichain_antichain
Open

Use `Antichain` for `MutableAntichain::frontier`.#485
frankmcsherry wants to merge 1 commit intoTimelyDataflow:masterfrom
frankmcsherry:mutable_antichain_antichain

Commits

Commits on Oct 28, 2022