API Reference st_parser v0.4.1
View SourceModules
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).