From 722d369d1bd5a0f65b401f24d6500d5496b8e8ab Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 16 Dec 2015 15:14:59 +0100
Subject: COMMENTS: added to some variants of the "Constrexpr.prim_token" type.

---
 intf/constrexpr.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli
index 79f4e99e1f..6543db6a17 100644
--- a/intf/constrexpr.mli
+++ b/intf/constrexpr.mli
@@ -32,7 +32,9 @@ type abstraction_kind = AbsLambda | AbsPi
 
 type proj_flag = int option (** [Some n] = proj of the n-th visible argument *)
 
-type prim_token = Numeral of Bigint.bigint | String of string
+type prim_token =
+  | Numeral of Bigint.bigint (** representation of integer literals that appear in Coq scripts. *)
+  | String of string
 
 type raw_cases_pattern_expr =
   | RCPatAlias of Loc.t * raw_cases_pattern_expr * Id.t
-- 
cgit v1.2.3