doc/clang.tex: Display the `fun' type specifier.

It's too long to read comfortably in running text.

diff --git a/doc/clang.tex b/doc/clang.tex
index 063c7087c4a52b18acfb6d558807f7a7979ef4cc..8a1be72e9cb61b0f1f213e4da80e453f42201f25 100644 (file)
--- a/doc/clang.tex
+++ b/doc/clang.tex
@@ -668,14 +668,19 @@ function type is the type of the function's return value.
   in the same order, and either both or neither argument list ends with
   @|:ellipsis|; argument names are not compared.
 
   in the same order, and either both or neither argument list ends with
   @|:ellipsis|; argument names are not compared.
 

-  The type specifier @|(fun @<return-type> @{ (@<arg-name> @<arg-type>) @}^*
-  @[:ellipsis @! . @<form> @])| constructs a function type.  The function has
-  the subtype @<return-type>.  The remaining items in the type-specifier list
-  are used to construct the argument list.  The argument items are a possibly
-  improper list, beginning with zero or more \emph{explicit arguments}:
-  two-item @<arg-name>/@<arg-type> lists.  For each such list, an @|argument|
-  object is constructed with the given name (evaluated) and type.  Following
-  the explicit arguments, there may be
+  The type specifier
+  \begin{prog}
+    (fun @<return-type>
+         @{ (@<arg-name> @<arg-type>) @}^*
+         @[:ellipsis @! . @<form>@])
+  \end{prog}
+  constructs a function type.  The function has the subtype @<return-type>.
+  The remaining items in the type-specifier list are used to construct the
+  argument list.  The argument items are a possibly improper list, beginning
+  with zero or more \emph{explicit arguments}: two-item
+  @<arg-name>/@<arg-type> lists.  For each such list, an @|argument| object
+  is constructed with the given name (evaluated) and type.  Following the
+  explicit arguments, there may be

   \begin{itemize}
   \item nothing, in which case the function's argument list consists only of
     the explicit arguments;
   \begin{itemize}
   \item nothing, in which case the function's argument list consists only of
     the explicit arguments;