diff options
Diffstat (limited to 'doc/RefMan-ext.tex')
| -rw-r--r-- | doc/RefMan-ext.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/RefMan-ext.tex b/doc/RefMan-ext.tex index 39541153de..ceacb39205 100644 --- a/doc/RefMan-ext.tex +++ b/doc/RefMan-ext.tex @@ -20,9 +20,10 @@ construction allows to define ``signatures''. \begin{tabular}{lcl} {\sentence} & ++= & {\record}\\ & & \\ -{\record} & ::= & {\tt Record} {\ident} \sequence{\binderlet}{} : - {\sort} := \zeroone{\ident} \{ \zeroone{\nelist{\field}{;}} - \} . \\ +{\record} & ::= & + {\tt Record} {\ident} \sequence{\binderlet}{} {\tt :} {\sort} \verb.:=. \\ +&& ~~~~\zeroone{\ident} + \verb!{! \zeroone{\nelist{\field}{;}} \verb!}! \verb:.:\\ & & \\ {\field} & ::= & {\name} : {\type} \\ & $|$ & {\name} {\typecstr} := {\term} |