diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/transfer-reference.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/transfer-reference.txt b/doc/transfer-reference.txt index 213e78216..07204ce8e 100644 --- a/doc/transfer-reference.txt +++ b/doc/transfer-reference.txt @@ -158,9 +158,9 @@ argument + 1. To give local definition to some names, use: ``` -let x1 : T1 = exp1 +let x1 = exp1 ... - xn : Tn = expn + xn = expn in exp ``` |