ST.SOut (st_parser v0.4.1)

View Source

Represents sending messages (internal choice).

This session type indicates that the current role will send one of several possible messages to another role.

Summary

Types

t()

An output session type containing

Types

t()

@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