From f5ed96350ecc947ad4e55be9439cd0d30c68bde0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 6 Sep 2017 19:03:32 +0200
Subject: Parameterizing over parameters in ML functions from Tac2core.

---
 src/tac2ffi.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/tac2ffi.mli')

diff --git a/src/tac2ffi.mli b/src/tac2ffi.mli
index fe813b0e35..1789a8932f 100644
--- a/src/tac2ffi.mli
+++ b/src/tac2ffi.mli
@@ -64,6 +64,8 @@ val of_closure : closure -> valexpr
 val to_closure : valexpr -> closure
 val closure : closure repr
 
+val block : valexpr array repr
+
 val of_array : ('a -> valexpr) -> 'a array -> valexpr
 val to_array : (valexpr -> 'a) -> valexpr -> 'a array
 val array : 'a repr -> 'a array repr
@@ -95,6 +97,8 @@ val of_ext : 'a Val.tag -> 'a -> valexpr
 val to_ext : 'a Val.tag -> valexpr -> 'a
 val repr_ext : 'a Val.tag -> 'a repr
 
+val valexpr : valexpr repr
+
 (** {5 Dynamic tags} *)
 
 val val_constr : EConstr.t Val.tag
-- 
cgit v1.2.3