Document `DiffContext` and `DiffOutput`#23

Merged

ddssff merged 9 commits into

seereason:masterfrom

tweag:ninioArtillero/docs2

May 7, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Improve unreacheable code path comment
ninioArtillero
committed

Commits on Apr 24, 2026

Add more invariant documentation

ninioArtillero
and
facundominguez
committed

Commits on Apr 30, 2026

Further refinements
ninioArtillero
committed