Export

Represents a runtime exported value.

From the docs:

An export instance is the runtime representation of an export. It defines the export’s name and the associated external value.

exportinst ::= {name name, value externval}