diff options
Diffstat (limited to 'Doc/lib/libtypes2.tex')
| -rw-r--r-- | Doc/lib/libtypes2.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Doc/lib/libtypes2.tex b/Doc/lib/libtypes2.tex index a9bba64..07bf35a 100644 --- a/Doc/lib/libtypes2.tex +++ b/Doc/lib/libtypes2.tex @@ -1,6 +1,8 @@ \section{Standard Module \module{types}} -\label{module-types} -\stmodindex{types} +\declaremodule{standard}{types} + +\modulesynopsis{Names for all built-in types.} + This module defines names for all object types that are used by the |