Leftward Double Arrow (⇐)

n ⇐ v: Export Definition

→full documentation

Define a variable with name n and export it from the current namespace.

    ns ← { exported ⇐ 5, unexported ← 0}
    ns.exported
5
    ns.unexported
Error: Field named "unexported" not found

n ⇐: Export names

→full documentation

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
5
    ns1.alsoexported
0