API Reference st_parser v0.3.0

View Source

Modules

ST

Defines the core data structures for Session Types.

User-friendly API for the Session Type Parser.

Low-level implementation of the Session Type Parser.

Represents a single branch in a choice or a single action sequence.

Represents the termination of a session path.

Represents receiving messages (external choice).

Represents sending messages (internal choice).