imports

imports { <import-decl> }

Block enclosing import of other modules (protecting etc). Other statements are not allowed within the imports block. Optional structuring of the statements in a module.

Related: using, protecting, including, extending, axioms, signature