Implement TArray.all correctly

CoAlgLogicUtils.ml

@@ -11,7 +11,7 @@ module TArray = struct
             else if f arr.(idx) then true
             else g (idx + 1)
         in g 0
-    let all f = any (fun x -> not (f x))
+    let all f arr = not (any (fun x -> not (f x)) arr)
     let elem (x: 'a) (arr: 'a array) =
         any (fun y -> x == y) arr
     let included sub sup = all (fun x -> elem x sup) sub