| Array {unique=u1; _}, Array {unique=u2; _} -> u1 == u2
| t1 , t2 -> t1 = t2
(* The above pattern matching is "fragile" and I'm OK with it.
* TODO: Can we ignore the warning locally?
* *)
| Array {unique=u1; _}, Array {unique=u2; _} -> u1 == u2
| t1 , t2 -> t1 = t2
(* The above pattern matching is "fragile" and I'm OK with it.
* TODO: Can we ignore the warning locally?
* *)