diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:13:18 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:14:44 -0500 |
| commit | 5566ea9429f75b54a8cffb9ebea7747ea651d52c (patch) | |
| tree | cb50a64656fff5c2d41a22dcd6ce553ac1bd8e2e /help/export.md | |
| parent | 3b6599b12470fe9b1321111d31c34685ffd5db52 (diff) | |
Editing
Diffstat (limited to 'help/export.md')
| -rw-r--r-- | help/export.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help/export.md b/help/export.md index c19e7f83..3ae604be 100644 --- a/help/export.md +++ b/help/export.md @@ -4,7 +4,7 @@ ## `n ⇐ v`: Export Definition -Define a variable with name `n` and export it from the current namespace or program's scope. +Define a variable with name `n` and export it from the current namespace. ns ← { exported ⇐ 5, unexported ← 0} ns.exported @@ -12,7 +12,7 @@ Define a variable with name `n` and export it from the current namespace or prog ## `𝕨 ⇐`: Export names -Export the names given in `𝕩` from the current namespace or program's scope. Names must be defined. +Export the names given in `𝕩` from the current namespace. Names must be defined somewhere in the scope. ns1 ← { ⟨alsoexported⟩⇐, exported ⇐ 5, alsoexported ← 0} ns1.exported |