let bool_array_eq arr1 arr2 = if Array.length arr1 <> Array.length arr2 then assert false; let res=ref true in Array.iteri (fun i b1 -> if b1 <> arr2.(i) then res:=false) arr1; !res