15.3.5.8 Imported syntactic bindings: module interfaces

A syntactic binding representing an imported keyword binding associated to the interface of a module syntax has descriptor with format:

($module . ?module-interface)

where ?module-interface is a struct of type module-interface.

Syntactic bindings of this type are established by uses of the syntax module.