diff options
Diffstat (limited to 'Doc/ref/ref5.tex')
| -rw-r--r-- | Doc/ref/ref5.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex index 4949d22..df7ac70 100644 --- a/Doc/ref/ref5.tex +++ b/Doc/ref/ref5.tex @@ -153,6 +153,11 @@ A list display is a possibly empty series of expressions enclosed in square brackets: \begin{productionlist} + \production{test} + {\token{and_test} ( "or" \token{and_test} )* + | \token{lambda_form}} + \production{testlist} + {\token{test} ( "," \token{test} )* [ "," ]} \production{list_display} {"[" [\token{listmaker}] "]"} \production{listmaker} |