From 28a75d723455c3fab90c4a1720802b3e968e64a3 Mon Sep 17 00:00:00 2001
From: Arthur Carcano <arthur.carcano@ocamlpro.com>
Date: Mon, 4 May 2026 17:23:59 +0200
Subject: [PATCH] Add LXs corrolary

---
 fuzz/src/lib.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/fuzz/src/lib.rs b/fuzz/src/lib.rs
index 1715d1e9..6abd894b 100644
--- a/fuzz/src/lib.rs
+++ b/fuzz/src/lib.rs
@@ -25,6 +25,14 @@ where
 	};
 	assert_eq!(ab, ba, "merge is not commutative: {ab:#?} != {ba:#?}");
 
+	// LX's corrolary: merge(merge(a,b),b) = merge(a,b)
+	let ab_b = {
+		let mut t = ab.clone();
+		t.merge(&b);
+		t
+	};
+	assert_eq!(ab,ab_b);
+
 	// Associativity: merge(merge(a, b), c) == merge(a, merge(b, c))
 	let ab_c = {
 		let mut t = ab.clone();