From 031cc2ba1a19a06766df85b8693c72f16fa62de6 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Mon, 7 Sep 2020 12:07:23 +0200
Subject: [refman] Explicit integer and natural

As respectively bigint and bignat that fit into an OCaml int.
---
 doc/tools/docgram/orderedGrammar | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'doc/tools/docgram/orderedGrammar')

diff --git a/doc/tools/docgram/orderedGrammar b/doc/tools/docgram/orderedGrammar
index 105bd4668e..8d4e0189e6 100644
--- a/doc/tools/docgram/orderedGrammar
+++ b/doc/tools/docgram/orderedGrammar
@@ -139,6 +139,14 @@ integer: [
 ]
 
 natural: [
+| bignat
+]
+
+bigint: [
+| OPT "-" bignat
+]
+
+bignat: [
 | [ decnat | hexnat ]
 ]
 
@@ -1291,8 +1299,8 @@ field_mod: [
 ]
 
 numeral_modifier: [
-| "(" "warning" "after" number ")"
-| "(" "abstract" "after" number ")"
+| "(" "warning" "after" bignat ")"
+| "(" "abstract" "after" bignat ")"
 ]
 
 hints_path: [
-- 
cgit v1.2.3