Data type for identifiers in an import declaration. import mod : binds, ...;
Checks declarations are consective.
Decomposes multi module import decl to a list of single module with binds.
See Source File