1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed ba41126

+ SortedArray.intersects

  • Participants
  • Parent commits f29b634
  • Branches default

Comments (0)

Files changed (1)

File src/cd_SortedArray.ml

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