let double_bool_array_or_bycase (a1,a2) (b1,b2) =
  (bool_array_or_bycase a1 b1,
   bool_array_or_bycase a2 b2)