1 files changed, 2 insertions, 0 deletions
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 =