let
double_bool_array_or (a1,a2) (b1,b2) =
(bool_array_or a1 b1,
bool_array_or a2 b2)