From aa3b8b7b24e809b379fcc86f2b21ae4380b211d5 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 6 Apr 2014 12:41:26 -0400
Subject: Partial support for open terms in int31.

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

(limited to 'kernel/nativevalues.mli')

diff --git a/kernel/nativevalues.mli b/kernel/nativevalues.mli
index 150811b72c..4c918e1163 100644
--- a/kernel/nativevalues.mli
+++ b/kernel/nativevalues.mli
@@ -75,6 +75,7 @@ val mk_block : tag -> t array -> t
 
 
 val mk_int : int -> t
+val mk_uint : Uint31.t -> t
 
 val napply : t -> t array -> t
 (* Functions over accumulators *)
@@ -110,3 +111,5 @@ val is_accu : t -> bool
 
 val str_encode : 'a -> string
 val str_decode : string -> 'a
+
+val mk_I31_accu : t
-- 
cgit v1.2.3