ST.SIn (st_parser v0.2.0)

View Source

Represents 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

t()

An input session type containing

Types

t()

@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