let
double_bool_array_eq (a1,a2) (b1,b2) =
(bool_array_eq a1 b1)
&&
(bool_array_eq a2 b2)