msg.h File Reference

A message for passing between participants (parameterised). More...

#include <vector>
#include "sesstype/msg.h"
#include "sesstype/parameterised/expr.h"

Include dependency graph for parameterised/msg.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::parameterised::MsgPayload
Namespaces
namespace	sesstype
	namespace for Session Types.

---

Detailed Description

A message for passing between participants (parameterised).