6.5 Export🔗ℹ

An export_item can be an identifier, operator, other export form, such as all_from. It can also be a sequence export_items within a group, since #%juxtapose is defined as an export form.

Similar to import, an export_item can be modified either through a subsequent block containing modifiers or by a preceding modifier with the export_items in a block. The latter order works only if the modifier itself does not need a block.

An id_name or op_name export can be an immediate identifier or oerator, or it can be dotted name, such as List.length. The last component of a dotted name is used as the export name. See Namespaces for information on id_name and op_name.

With . id_name, exports the content of the specified namespace or module import (i.e., the content that would be accessed with a prefix in the exporting context). See Namespaces for information on id_name.

Most id_or_ops can be exported directly without using names, but the names form disambiguates in the case of an id_or_op that is itself bound as an export form or modifier.

Imports using import count as definitions only when the import is from a namespace. Imports from a module do no count as definitions.

The #%juxtapose form is implicitly used when an export is used in after another export in an export position. See also Implicit Forms.

This modifier is valid only immediately within a modules, and not within namespace forms.

This modifier is valid only immediately within a modules, and not within namespace forms.