let double_bool_array_eq_bycase (a1,a2) (b1,b2) = (bool_array_eq_bycase a1 b1) && (bool_array_eq_bycase a2 b2)