Merge remote-tracking branch 'upstream/trunk' into trunk

1 files changed, 2 insertions, 1 deletions

diff --git a/API/grammar_API.mli b/API/grammar_API.mli
index 44aae771f6..c643f09086 100644
--- a/API/grammar_API.mli
+++ b/API/grammar_API.mli
@@ -116,7 +116,7 @@ sig
     val pattern_identref : Names.Id.t located Gram.Entry.e
     val base_ident : Names.Id.t Gram.Entry.e
     val natural : int Gram.Entry.e
-    val bigint : Bigint.bigint Gram.Entry.e
+    val bigint : Constrexpr.raw_natural_number Gram.Entry.e
     val integer : int Gram.Entry.e
     val string : string Gram.Entry.e
     val qualid : API.Libnames.qualid located Gram.Entry.e
@@ -211,6 +211,7 @@ end
 module Mltop :
 sig
   val add_known_module : string -> unit
+  val module_is_known : string -> bool
   val declare_cache_obj : (unit -> unit) -> string -> unit
 end
 module Vernacinterp :