Namespace List

Here is a list of all documented namespaces with brief descriptions:

sesstype	Namespace for Session Types
sesstype::tests	Namespace for unit tests