The MMT Language and System

MMT URIs

api.Path is the base class of MMT URIs. The classes corresponding to MMT URIs are