Add `Hunk` invariant static checks - #35

Merged

ninioArtillero merged 3 commits into

seereason:masterfrom

tweag:xg/context-checks

Jul 28, 2026

Commits on Jul 27, 2026

Introduce `ContextSize` refined type for non-negativity static check
ninioArtillero
committed
893781c

Commits on Jul 28, 2026

Move diff types to a separate module
ninioArtillero
committed
6f7bdf8
`Hunk` invariants
ninioArtillero
committed
4b08596