Generic three-way zipper merge#34

Open

marcin-rzeznicki wants to merge 4 commits intozipper_joinfrom

Commits on Apr 4, 2026

zipper_algebra: generalize the algorithm for all 3 cases
marcin-rzeznicki
committed
zipper_algebra: Break up `MergePolicy` into `MergePolicy` + a tine `ValuePolicy`
marcin-rzeznicki
committed

Commits on Apr 6, 2026

Add initial zipper_merge3
marcin-rzeznicki
committed

Commits on Apr 7, 2026

zipper_algebra: Add zipper_merge3 for ternary merge (Join / Meet / Subtract)
marcin-rzeznicki
committed