From b0f3857eca168ee5d843e86b7678ac3d5375b07c Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sun, 6 Apr 2014 14:59:59 -0400
Subject: Full support for int31 values in native compiler.

---
 kernel/nativevalues.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/nativevalues.mli')

diff --git a/kernel/nativevalues.mli b/kernel/nativevalues.mli
index 4c918e116..821b23168 100644
--- a/kernel/nativevalues.mli
+++ b/kernel/nativevalues.mli
@@ -113,3 +113,4 @@ val str_encode : 'a -> string
 val str_decode : string -> 'a
 
 val mk_I31_accu : t
+val decomp_uint : t -> t -> t
-- 
cgit v1.2.3