Add efficient compare_int in INCLUDED .ml files.
authorKim Nguyễn <kn@lri.fr>
Mon, 2 Apr 2012 12:37:21 +0000 (14:37 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 2 Apr 2012 12:37:21 +0000 (14:37 +0200)
include/utils.ml

index 7d3690a..fcb74c1 100644 (file)
@@ -131,7 +131,8 @@ let next_power2 v =
     v+1
 
 external vb : bool -> int = "%identity"
-
+let compare_int x y = vb (x > y) - vb (x < y)
+let compare_int_unsafe x y = x - y
 
 
 END (* IFNDEF UTILS__ML__ *)