External highest bit

codex-semantics-library · May 22, 2024 · a04d325 · a04d325
1 parent 87359e5
commit a04d325
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/patriciaTree.mli b/patriciaTree.mli
@@ -142,7 +142,8 @@ type mask = private int
 
 (**/**)
 
-val highest_bit : int -> int
+external highest_bit: int -> (int[@untagged]) =
+  "caml_int_builtin_highest_bit_byte" "caml_int_builtin_highest_bit" [@@noalloc]
 (** [highest_bit x] is an integer with a single bit set: the highest set bit of [x].
     exported for test purposes only.