Module sesstype::global
[−]
[src]
The module provides types and utilities for working with global session types.
Enums
Type |
Global session types. |