summaryrefslogtreecommitdiffstats
path: root/Doc/lib/libtoken.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/lib/libtoken.tex')
-rw-r--r--Doc/lib/libtoken.tex6
1 files changed, 4 insertions, 2 deletions
diff --git a/Doc/lib/libtoken.tex b/Doc/lib/libtoken.tex
index 15ab2a4..ce3bd5c 100644
--- a/Doc/lib/libtoken.tex
+++ b/Doc/lib/libtoken.tex
@@ -1,6 +1,8 @@
\section{Standard Module \module{token}}
-\label{module-token}
-\stmodindex{token}
+\declaremodule{standard}{token}
+
+\modulesynopsis{Constants representing terminal nodes of the parse tree.}
+
This module provides constants which represent the numeric values of
leaf nodes of the parse tree (terminal tokens). Refer to the file