ST.SOut (st_parser v0.2.0)
View SourceRepresents sending messages (internal choice).
This session type indicates that the current role will send one of several possible messages to another role.
Summary
Types
@type t() :: %ST.SOut{branches: [ST.SBranch.t()], to: atom()}
An output session type containing:
- to: The role receiving the message(s) as a snake_case atom
- branches: List of possible message branches that can be sent