Skip to content

Latest commit

 

History

History
21 lines (14 loc) · 708 Bytes

export.md

File metadata and controls

21 lines (14 loc) · 708 Bytes

View this file with results and syntax highlighting here.

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
    ns.unexported

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