<< §A.9 Value dependent types | ↑ Table of Contents ↑ |
§A.10 Packages and imports
§ A.10.1 | PackageDeclaration ... team package QualifiedName ; |
§ A.10.2 | Import ... import base QualifiedName ; |
<< §A.9 Value dependent types | ↑ Table of Contents ↑ |