+/* Returns true if A and B have the same widths, false otherwise. */
+bool
+caseproto_equal (const struct caseproto *a, const struct caseproto *b)
+{
+ return (a == b ? true
+ : a->n_widths != b->n_widths ? false
+ : caseproto_range_equal (a, 0, b, 0, a->n_widths));
+}
+