1 files changed, 1 insertions, 0 deletions
diff --git a/coq.mli b/coq.mli
index a0f2ce0..53d42eb 100644
--- a/coq.mli
+++ b/coq.mli
@@ -79,6 +79,7 @@ end
 
 module Leibniz : sig
   val eq_refl : Term.types -> Term.constr -> Term.constr
+  val eq : Term.types -> Term.constr
 end
 
 module Option : sig