15.3.6.5 Internal syntactic bindings: module interfaces

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

($module . ?module-interface)

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

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