X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FfiniteCofinite.ml;h=9963e1fd6869d751569184dc4a43b84772df8c1a;hp=019ae65263fad13bb1dc335e53bbc40427a54514;hb=a601c67e92d85f7096db693e4fde86950be598c6;hpb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e

diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml
index 019ae65..9963e1f 100644
--- a/src/finiteCofinite.ml
+++ b/src/finiteCofinite.ml
@@ -141,6 +141,14 @@ struct
     | Finite s -> E.fold f s a
     | CoFinite _ -> raise exn
 
+  let fold_left f t a = match t.node with
+    | Finite s -> E.fold_left f s a
+    | CoFinite _ -> raise exn
+
+  let fold_right f t a = match t.node with
+    | Finite s -> E.fold_right f s a
+    | CoFinite _ -> raise exn
+
   let iter f t = match t.node with
     | Finite t -> E.iter f t
     | CoFinite _ -> raise exn
@@ -202,12 +210,12 @@ struct
     | CoFinite _ -> raise exn
 
   let positive t = match t.node with
-      | Finite x -> x
-      | CoFinite _ -> E.empty
+    | Finite x -> x
+    | CoFinite _ -> E.empty
 
   let negative t = match t.node with
-      | CoFinite x -> x
-      | Finite _ -> E.empty
+    | CoFinite x -> x
+    | Finite _ -> E.empty
 
   let inj_positive t = finite t
   let inj_negative t = cofinite t