API Reference st_parser v0.4.1

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 a named handler reference in a session type.

Represents sending messages (internal choice).