let quad_bool_array_eq_bycase (a1,a2,a3,a4) (b1,b2,b3,b4) =
  (bool_array_eq_bycase a1 b1) &&
  (bool_array_eq_bycase a2 b2) &&
  (bool_array_eq_bycase a3 b3) &&
  (bool_array_eq_bycase a4 b4)