let quad_bool_array_and (a1,a2,a3,a4) (b1,b2,b3,b4) = (bool_array_and a1 b1, bool_array_and a2 b2, bool_array_and a3 b3, bool_array_and a4 b4)