# HG changeset patch # User blanchet # Date 1275386330 -7200 # Node ID a66851c4c5f832986015d79b4b38c130cfe50c4e # Parent 40bebf3d6cc016ab050e9c51b915ed2c0d1aefe5 document new option diff -r 40bebf3d6cc0 -r a66851c4c5f8 doc-src/Nitpick/nitpick.tex --- a/doc-src/Nitpick/nitpick.tex Tue Jun 01 10:40:23 2010 +0200 +++ b/doc-src/Nitpick/nitpick.tex Tue Jun 01 11:58:50 2010 +0200 @@ -1897,6 +1897,8 @@ \begin{enum} \item[$\bullet$] \qtybf{string}: A string. +\item[$\bullet$] \qtybf{string\_list\/}: A space-separated list of strings +(e.g., ``\textit{ichi ni san}''). \item[$\bullet$] \qtybf{bool\/}: \textit{true} or \textit{false}. \item[$\bullet$] \qtybf{bool\_or\_smart\/}: \textit{true}, \textit{false}, or \textit{smart}. \item[$\bullet$] \qtybf{int\/}: An integer. Negative integers are prefixed with a hyphen. @@ -2256,6 +2258,19 @@ counterexamples. This option suffers from an ``observer effect'': Nitpick might find different counterexamples for different values of this option. +\oparg{atoms}{type}{string\_list} +Specifies the names to use to refer to the atoms of the given type. By default, +Nitpick generates names of the form $a_1, \ldots, a_n$, where $a$ is the first +letter of the type's name. + +\opnodefault{atoms}{string\_list} +Specifies the default names to use to refer to atoms of any type. For example, +to call the three atoms of type ${'}a$ \textit{ichi}, \textit{ni}, and +\textit{san} instead of $a_1$, $a_2$, $a_3$, specify the option +``\textit{atoms}~${'}a$ = \textit{ichi~ni~san}''. The default names can be +overridden on a per-type basis using the \textit{atoms}~\qty{type} option +described above. + \oparg{format}{term}{int\_seq} Specifies how to uncurry the value displayed for a variable or constant. Uncurrying sometimes increases the readability of the output for high-arity