![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
00001 00005 #ifndef SESSTYPE__PARAMETERISED_H__ 00006 #define SESSTYPE__PARAMETERISED_H__ 00007 00008 #include "sesstype/parameterised/const.h" 00009 #include "sesstype/parameterised/expr.h" 00010 #include "sesstype/parameterised/module.h" 00011 #include "sesstype/parameterised/msg.h" 00012 #include "sesstype/parameterised/node.h" 00013 #include "sesstype/parameterised/protocol.h" 00014 #include "sesstype/parameterised/role.h" 00015 #include "sesstype/parameterised/role_grp.h" 00016 00017 #endif//SESSTYPE__PARAMETERISED_H__