Module lunatic::protocol

Structs

• Choose
  Active choice between P and Q
• End
  End of communication session
• Offer
  Passive choice (offer) between P and Q
• Pop
  Allows recursing
• Protocol
  A Protocol is a specific type of Process.
• ProtocolCapture
  A value that the protocol captures from the parent process.
• Rec
  Allows recursively calling a protocol
• Recv
  Receive A, then P
• Send
  Send A, then P
• TaskEnd
  A special case of the protocol with a result() function.

Enums

• Branch

Traits

• HasDual
  The HasDual trait defines the dual relationship between protocols.