Code

Document the collection invariant#384

Code

Open

bkirwi wants to merge 2 commits intoTimelyDataflow:masterTimelyDataflow/differential-dataflow:masterfrom bkirwi:docsbkirwi/differential-dataflow:docsCopy head branch name to clipboard

Commits

Commits on Feb 23, 2024

• Document the collection invariant

  bkirwi

  committed
  7693b06

  Copy full SHA for 7693b06

• must_use on the lattice operations

  bkirwi

  committed
  425e15e

  Copy full SHA for 425e15e