From a817ee252ca0cf46ebb9f9ec776086b64a22326e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Sun, 19 Jan 2014 15:29:49 +0100
Subject: [PATCH] Implement TArray.all correctly
---
CoAlgLogicUtils.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/CoAlgLogicUtils.ml b/CoAlgLogicUtils.ml
index a9e4604..26b76fc 100644
--- a/CoAlgLogicUtils.ml
+++ b/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
--
GitLab