ST.SIn (st_parser v0.4.1)
View SourceRepresents receiving messages (external choice).
This session type indicates that the current role is expecting to receive one of several possible messages from another role.
Summary
Types
@type t() :: %ST.SIn{branches: [ST.SBranch.t()], from: atom()}
An input session type containing:
- from: The role sending the message(s) as a snake_case atom
- branches: List of possible message branches that can be received