let quad_bool_array_or_bycase (a1,a2,a3,a4) (b1,b2,b3,b4) =
  (bool_array_or_bycase a1 b1,
   bool_array_or_bycase a2 b2,
   bool_array_or_bycase a3 b3,
   bool_array_or_bycase a4 b4)