MMT URIs

The general structure of MMT URIs is described here. api.Path is the base class of MMT URIs. The classes corresponding to MMT URIs are

• LocalName,
• Document Paths (DPath),
• Module Paths (MPath) of the form DPath ? LocalName,
• Symbol Paths (GlobalName) of the form MPath ? LocalName and
• ContentPath, which is a common superclass of MPath and GlobalName, and
• Component Paths (CPath) of the form ContentPath $ DeclarationComponent.