View this file with results and syntax highlighting here.
Leftward Double Arrow (⇐)
n ⇐ v: Export Definition
Define a variable with name n and export it from the current namespace.
ns ← { exported ⇐ 5, unexported ← 0}
ns.exported
ns.unexported
n ⇐: Export names
Export the names given in n from the current namespace. Names must be defined somewhere in the scope.
ns1 ← { ⟨alsoexported⟩⇐, exported ⇐ 5, alsoexported ← 0}
ns1.exported
ns1.alsoexported