let quad_bool_array_eq (a1,a2,a3,a4) (b1,b2,b3,b4) = (bool_array_eq a1 b1) && (bool_array_eq a2 b2) && (bool_array_eq a3 b3) && (bool_array_eq a4 b4)