Displaying 2 results from an estimated 2 matches for "0669a42bf".
2017 Apr 12
1
[PATCH] mllib: Bind %identity C primitive to Common_utils.identity.
...= Int64.logand
let ( ~^ ) = Int64.lognot
+external identity : 'a -> 'a = "%identity"
+
let roundup64 i a = let a = a -^ 1L in (i +^ a) &^ (~^ a)
let div_roundup64 i a = (i +^ a -^ 1L) /^ a
diff --git a/mllib/common_utils.mli b/mllib/common_utils.mli
index ec41a8ff8..0669a42bf 100644
--- a/mllib/common_utils.mli
+++ b/mllib/common_utils.mli
@@ -142,6 +142,8 @@ val ( &^ ) : int64 -> int64 -> int64
val ( ~^ ) : int64 -> int64
(** Various int64 operators. *)
+external identity : 'a -> 'a = "%identity"
+
val roundup64 : int64 -> int6...
2017 May 26
2
[PATCH 0/2] mllib: Export some more functions to the generator.
These functions are already linked to the generator, they're
just not exported.
Rich.