From 5566ea9429f75b54a8cffb9ebea7747ea651d52c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:13:18 -0500 Subject: Editing --- docs/help/export.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/export.html') diff --git a/docs/help/export.html b/docs/help/export.html index 5fbbef78..4b16243d 100644 --- a/docs/help/export.html +++ b/docs/help/export.html @@ -6,7 +6,7 @@

Leftward Double Arrow ()

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
 5
@@ -14,7 +14,7 @@
 Error: No key found
 

𝕨 : 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
 5
-- 
cgit v1.2.3