Commits

Dmitry Grebeniuk  committed 1d702bd

+- SortedArray.intersects

  • Participants
  • Parent commits ba41126

Comments (0)

Files changed (2)

File src/cd_SortedArray.ml

 ;
 
 
-exception Intersects
-;
-
-
-value intersects first second =
-  try
-    ( S.iter_diff
-        ~both:(fun _k _v1 _v2 -> raise Intersects)
-        ~first ~second
-    ; False
-    )
-  with
-  [ Intersects -> True ]
-;

File src/cd_SortedArraySet.ml

     ;
 
 
+    exception Intersects
+    ;
+
+
+    value intersects first second =
+      try
+        ( iter_diff
+            ~both:(fun _k _v1 _v2 -> raise Intersects)
+            ~first ~second
+        ; False
+        )
+      with
+      [ Intersects -> True ]
+    ;
+
+
     value get_keys a =
       let items = a.items
       and key = a.key in