From b0e52bbbc52691343b3fab927b20c1f512f59976 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 21 Jul 2017 12:02:36 +0200
Subject: Extraction: reduce primitive projections in types (fix bug 4709)

---
 API/API.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index bb24d5768f..d136deb70c 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -169,6 +169,8 @@ sig
     val map : (Constant.t -> Constant.t) -> t -> t
     val constant : t -> Constant.t
     val equal : t -> t -> bool
+    val unfolded : t -> bool
+    val unfold : t -> t
   end
 
   type evaluable_global_reference =
-- 
cgit v1.2.3