Closed
Description
The relevant portions of the alpha Book reference on module imports do not mention the use of :: as a prefix for an import. Specifically, the path in a use line refers to the absolute path, but any other mentions in the module are relative to that path; however, if you prefix a path inside the module with :: then it would refer to the absolute path. Could we add a brief paragraph or few sentences to the book covering this distinction?